#!/bin/sh

# this script mounts ToolDisk

echo "Make sure you don't have another floppy mounted"
echo "(RootDir  does not count as mounted after boot)"
echo "Insert ToolDisk in floppy drive, then hit enter"
read ans;

echo "Mounting ToolDisk ..."
mount -t ext2 /dev/fd0H1722 /fd0

echo "Done."
