From: Martin Mares <mj@ucw.cz>
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=eval.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 <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."