Update default.inc

This commit is contained in:
2023-07-17 22:47:06 -05:00
parent 4aef7544e9
commit 6f5571580a

View File

@@ -179,6 +179,19 @@ DIVIDER(){
echo ""
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
[ "${clr}" == "." ] && echo ${dashes} || echo -e "${idsCL[${clr}]}${dashes}${idsCL[Default]}"
if [ "$1" = true ]; then
echo ""
fi
}
service_exists() {
local n=$1