Update default.inc

This commit is contained in:
2023-07-17 22:57:28 -05:00
parent 6f5571580a
commit a9fcf138a0

View File

@@ -180,17 +180,11 @@ DIVIDER(){
fi
}
DIVIDER_C(){
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
[ -z ${2+x} ] && clr='yellow' || clr=$2
[ -z ${3+x} ] && length=70 || length=$3
c=0; dashes=''; until [ $c = ${length} ]; do dashes="${dashes}-"; c=`expr $c + 1`; done
[ "${clr}" == "." ] && echo ${dashes} || echo -e "${idsCL[${clr}]}${dashes}${idsCL[Default]}"
if [ "$1" = true ]; then
echo ""
fi
[ "$1" = true ] && echo
}
service_exists() {