diff options
| -rwxr-xr-x | rc/bin/9fs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rc/bin/9fs b/rc/bin/9fs index 7216eae6a..f94992eba 100755 --- a/rc/bin/9fs +++ b/rc/bin/9fs @@ -47,6 +47,14 @@ case sourcesdump case sourcessnap 9fs sources mount -nC /srv/sources /n/sourcessnap main/snapshot +case pidos + dossrv >/dev/null >[2]/dev/null + part=`{ls /dev/sdM*/dos >[2]/dev/null} + if(~ $#part 0) { + echo 'no dos partition found' >[1=2] + exit no.pidos + } + mount -c '#s/dos' /n/pidos $part # arbitrary venti archives case vac:* vacfs <{echo $1} |