Clean up backup, grab and push scripts.

[eval.git] / mop / admin / mo-backup.sh

diff --git a/mop/admin/mo-backup.sh b/mop/admin/mo-backup.sh
index 00b13f8e9a28902c61d6409b77f7d838bf55fb0a..834ca9a33c8b9b0661190208b46fca42b5e0dac9 100755 (executable)
--- a/mop/admin/mo-backup.sh
+++ b/mop/admin/mo-backup.sh
@@ -1,4 +1,6 @@
 #!/bin/sh
 #!/bin/sh

+# A trivial script to back up contestants' home directories.
+

 if [ -z "$1" ] ; then
        D=back/`date '+%H%M'`
 else
 if [ -z "$1" ] ; then
        D=back/`date '+%H%M'`
 else