From 5013f1286ad536b6cc5baac7fad11e43a3a45d79 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Thu, 5 Jul 2007 12:11:40 +0200
Subject: [PATCH] Removed mo-create-floppy, it is horribly glacial.

---
 bin/mo-create-floppy | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 bin/mo-create-floppy

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."
-- 
2.39.5