Also handle single quotes in make_banner()
@@ -70,7 +70,7 @@ function abort() {
# $2 - banner message.
function make_banner() {
local msg="$1$1$1$1 $2 $1$1$1$1"
- local border="${msg//[-0-9A-Za-z _.,\/()]/$1}"
+ local border="${msg//[-0-9A-Za-z _.,\/()\']/$1}"
echo -e "${border}\n${msg}\n${border}"
}
