*** empty log message ***

diff --git a/scripts/level-0 b/scripts/level-0
index 15f9e64710c7b4007be6bd829ebedbd2dc574660..4e1ffe4d781f5cf5c1ac085b54b2b7ae1975c953 100644 (file)
--- a/scripts/level-0
+++ b/scripts/level-0
@@ -68,18 +68,21 @@ here="`pwd`"
 # Logfile name should be in the form  ``log-1993-03-18-level-0''
 # i.e. year-month-date.  This format is useful for sorting by name, since
 # logfiles are intentionally kept online for future reference.
-LOGFILE=log-`date | awk '
-   BEGIN {
-      d["Jan"] = "01";  d["Feb"] = "02"; d["Mar"] = "03";
-      d["Apr"] = "04";  d["May"] = "05"; d["Jun"] = "06";
-      d["Jul"] = "07";  d["Aug"] = "08"; d["Sep"] = "09";
-      d["Oct"] = "10";  d["Nov"] = "11"; d["Dec"] = "12";
-   }
-   {
-    if ($3 < 10)
-       $3 = "0" $3;
-    print $6 "-" d[$2] "-" $3;
-   }'`-level-${DUMP_LEVEL}
+LOGFILE="log-`date | sed -ne '
+   s/[^ ]*  *\([^ ]*\)  *\([^ ]*\).* \([^ ]*\)$/\3-\1-\2/
+   /-[0-9]$/s/\([0-9]\)$/0\1/
+   /Jan/{s/Jan/01/p;q;}
+   /Feb/{s/Feb/02/p;q;}
+   /Mar/{s/Mar/03/p;q;}
+   /Apr/{s/Apr/04/p;q;}
+   /May/{s/May/05/p;q;}
+   /Jun/{s/Jun/06/p;q;}
+   /Jul/{s/Jul/07/p;q;}
+   /Aug/{s/Aug/08/p;q;}
+   /Sep/{s/Sep/09/p;q;}
+   /Oct/{s/Oct/10/p;q;}
+   /Nov/{s/Nov/11/p;q;}
+   /Dec/{s/Dec/12/p;q;}'`-level-${DUMP_LEVEL}"
 
 localhost="`hostname | sed -e 's/\..*//'`"
 

diff --git a/scripts/level-1 b/scripts/level-1
index fdf5c8203685e98cfb6eb7106e31e562c956f185..474e36f8641bd150f683c1a568e7af13e93eda42 100644 (file)
--- a/scripts/level-1
+++ b/scripts/level-1
@@ -143,3 +143,5 @@ mt -f $TAPE_FILE offl
 echo Sending the dump log to $ADMINISTRATOR
 cat $LOGFILE | sed -f logfile.sed > $LOGFILE.tmp
 /usr/ucb/mail -s "Results of backup on `date`" $ADMINISTRATOR < $LOGFILE.tmp
+rm -f $LOGFILE.tmp
+