]> mj.ucw.cz Git - eval.git/commitdiff
Removed mo-create-floppy, it is horribly glacial.
authorMartin Mares <mj@ucw.cz>
Thu, 5 Jul 2007 10:11:40 +0000 (12:11 +0200)
committerMartin Mares <mj@ucw.cz>
Thu, 5 Jul 2007 10:11:40 +0000 (12:11 +0200)
bin/mo-create-floppy [deleted file]

diff --git a/bin/mo-create-floppy b/bin/mo-create-floppy
deleted file mode 100755 (executable)
index f51377f..0000000
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/bash
-# Create a floppy with solutions, testing logs and example solution
-# expects that mo-create-packages has been run before
-# and adds stuff in $MO_ROOT/floppy
-
-[ -n "$1" ] || { echo "Usage: mo-create-floppy <user>" ; exit 1 ; }
-USER=$1
-[ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
-set -e
-. config
-
-mkdosfs /dev/fd0
-mount -tvfat /dev/fd0 /mnt
-D=/mnt
-U=$MO_ROOT/users/$USER/$USER
-if [ -d $U/testing ] ; then ( cd $U ; zip -r $D/testing.zip testing ) fi
-if [ -d $U/solutions ] ; then cp -dR $U/solutions/* $D/ ; fi
-cp -dR $MO_ROOT/floppy/* $D/
-umount /mnt
-echo "Done."