Merged detached head into master

This commit is contained in:
Jakobus Schürz 2020-09-22 02:02:54 +02:00
parent 59b23ef42c
commit 3572ea87af

View file

@ -10,13 +10,13 @@ touch $SCRIPT_LOG
function SCRIPTENTRY(){ function SCRIPTENTRY(){
timeAndDate=`date` timeAndDate=`date`
script_name=`basename "$0"` script_name=`basename -- "$0"`
script_name="${script_name%.*}" script_name="${script_name%.*}"
echo "[$timeAndDate] [DEBUG] > $script_name $FUNCNAME" >> $SCRIPT_LOG echo "[$timeAndDate] [DEBUG] > $script_name $FUNCNAME" >> $SCRIPT_LOG
} }
function SCRIPTEXIT(){ function SCRIPTEXIT(){
script_name=`basename "$0"` script_name=`basename -- "$0"`
script_name="${script_name%.*}" script_name="${script_name%.*}"
echo "[$timeAndDate] [DEBUG] < $script_name $FUNCNAME" >> $SCRIPT_LOG echo "[$timeAndDate] [DEBUG] < $script_name $FUNCNAME" >> $SCRIPT_LOG
} }