Update default.inc

This commit is contained in:
2019-03-30 16:42:24 -05:00
parent 541f62512f
commit c6278dfbe9

View File

@@ -133,6 +133,19 @@ SHOW_TIME() {
echo ${t}
}
DIVIDER(){
if [ -z ${2+x} ]; then local clr='yellow'
else local clr=$2
fi
if [ -z ${3+x} ]; then local length=70
else local length=$3
fi
local c=0; local dashes=''; until [ $c = ${length} ]; do local dashes="${dashes}-"; local c=`expr $c + 1`; done
echo -e "${idsCL[${clr~}]}${dashes}${idsCL[Default]}"
if [ "$1" = true ]; then
echo ""
fi
}
declare -A abet