# rc for kernel distribution floppy
echo "halting the machine..."
echo "Halt failed! Try power-cycling the machine..."
echo "Time to reboot the machine!"
echo "Once the machine has halted (it'll tell you when),"
echo "remove the floppy from the disk drive and press"
echo "any key to reboot."
echo Enter '"copy"' at the prompt to copy the kernel on this
echo floppy to your hard disk. enter anything else to reboot,
echo but wait for the machine to restart to remove the floppy.
if [ X"$todo" = Xcopy ]; then
echo "What disk partition should the kernel be installed on?"
echo "(e.g., "wd0a", "sd0a", etc.)"
echo -n "copy kernel to> "
[ -c /dev/r$diskpart ] && break
echo "${diskpart}: invalid partition"
echo -n "copy kernel to> "
echo "Checking the filesystem on $diskpart..."
echo "fsck failed... Sorry, can't copy kernel..."
echo "mounting $diskpart on /mnt..."
mount /dev/$diskpart /mnt
echo "mount failed... Sorry, can't copy kernel..."
echo "Please wait. Copying kernel..."
echo "Copy failed... (?!?!?!)"
echo "unmounting $diskpart..."
umount /mnt > /dev/null 2>&1
echo "unmount failed... Shouldn't be a problem..."