From 92ed76434ed7141cf0f5cded726c6e51a35d13a7 Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Sat, 30 Mar 2019 16:42:29 -0500 Subject: [PATCH] Update defaults.inc --- defaults.inc | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/defaults.inc b/defaults.inc index 3c163503..3da959c0 100755 --- a/defaults.inc +++ b/defaults.inc @@ -151,20 +151,6 @@ DISP_HEADER(){ echo "" } -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 -} - CERT-CHECK(){ TARGET="mysite.example.net"; RECIPIENT="hostmaster@mysite.example.net";