diff options
Diffstat (limited to 'rc/bin/D003753')
| -rwxr-xr-x | rc/bin/D003753 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/rc/bin/D003753 b/rc/bin/D003753 new file mode 100755 index 000000000..7ce5aa389 --- /dev/null +++ b/rc/bin/D003753 @@ -0,0 +1,11 @@ +#!/bin/rc +rfork e +flop=/dev/fd0disk +if(! test -r $flop) + flop='#f'/fd0disk +if(! test -f /srv/dos) + dossrv >/dev/null </dev/null >[2]/dev/null +unmount /n/a:>[2]/dev/null +mount -c /srv/dos /n/a: $flop +unmount /n/a >[2]/dev/null +mount -c /srv/dos /n/a $flop |