ref: 0d0fcd871ef59e0e086c0543a3eda6dd58aabe02
parent: 8f8defedeb9490f105d907609488e7362b1bb793
author: mveety <mveety@gmail.com>
date: Mon Jan 28 13:48:34 EST 2013
added support for the dos partition on raspberry pi.
--- a/rc/bin/9fs
+++ b/rc/bin/9fs
@@ -47,6 +47,14 @@
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}--
⑨