# rc for kernel distribution floppy
echo "halting 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 [ "$todo"X = copyX ]; then
echo "what disk partition should the kernel be installed on?"
echo "(e.g. "wd0a", "sd0a", etc.)"
echo -n "copy kernel to> "
echo "checking the filesystem on $diskpart..."
${test} fsck -y /dev/r$diskpart
echo "fsck failed... sorry, can't copy kernel..."
echo "mounting $diskpart on /mnt..."
${test} mount /dev/$diskpart /mnt
echo "mount failed... sorry, can't copy kernel..."
${test} cp /386bsd /mnt/386bsd
echo "copy failed... (?!?!?!)"
echo "unmounting $diskpart..."
${test} umount /mnt > /dev/null 2>&1
echo "unmount failed... shouldn't be a problem..."