From: Martin Mares Date: Thu, 5 Jul 2007 10:11:40 +0000 (+0200) Subject: Removed mo-create-floppy, it is horribly glacial. X-Git-Tag: python-dummy-working~296 X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=5013f1286ad536b6cc5baac7fad11e43a3a45d79;p=moe.git Removed mo-create-floppy, it is horribly glacial. --- diff --git a/bin/mo-create-floppy b/bin/mo-create-floppy deleted file mode 100755 index f51377f..0000000 --- a/bin/mo-create-floppy +++ /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 " ; 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."