diff options
Diffstat (limited to 'rc/bin/F003758')
| -rwxr-xr-x | rc/bin/F003758 | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/rc/bin/F003758 b/rc/bin/F003758 new file mode 100755 index 000000000..ca9754765 --- /dev/null +++ b/rc/bin/F003758 @@ -0,0 +1,18 @@ +#!/bin/rc + +rfork e +part=`{ls /dev/fs/9fat /dev/sd*/9fat >[2]/dev/null} +if(~ $#part 0) { + echo 'no 9fat partition found' >[1=2] + exit no.9fat +} + +part=$part(1) + +if(! test -f /srv/dos) + dossrv >/dev/null </dev/null >[2]/dev/null + +unmount /n/9fat >/dev/null >[2]/dev/null +mount -c /srv/dos /n/9fat $part +unmount /n/9 >/dev/null >[2]/dev/null +mount -c /srv/dos /n/9 $part |