diff options
Diffstat (limited to 'rc/bin/F003758')
| -rwxr-xr-x | rc/bin/F003758 | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/rc/bin/F003758 b/rc/bin/F003758 deleted file mode 100755 index ca9754765..000000000 --- a/rc/bin/F003758 +++ /dev/null @@ -1,18 +0,0 @@ -#!/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 |
