#!/bin/rc

rfork e

echo
echo 'Insert a disk other than your installation boot disk'
echo 'into your floppy drive; it will be erased to create'
echo 'the boot floppy.'
echo
echo -n 'Press enter when ready.'
read >/dev/null >[2]/dev/null

if(~ $#adisk 1)
	;	# do nothing
if not if(~ $#bootfile 0)
	adisk=/dev/fd0disk
if not {
	switch($bootfile) {
	case sd*
		adisk=`{echo $bootfile | sed 's#(sd..).*#/dev/\1/data#'}
	case fd*
		adisk=`{echo $bootfile | sed 's#(fd.).*#/dev/\1disk#'}
	case *
		echo 'unknown bootfile '^$bootfile^'; mail [email protected]'
		exit oops
	}
}

if(! ~ `{ls -l $adisk | awk '{print $6}'} 1474560){
	echo 'Will not format non-floppy disk '^$"adisk. >[1=2]
	exit 'bad adisk'
}

log Formatting boot floppy
disk/format -b /386/pbs \
	-fd $adisk /n/fossil/386/9load /n/fossil/386/9pcdisk.gz \
	/tmp/plan9ini.bak
x=$status

if(~ $x ''){
	echo 
	echo 'Done!'
	echo
}
exit $x