ref: 12f51e356a12ca4a8c0760a5024fcd990b1a8352
parent: 611eedc8d09e2697339e40396f65a365421f36ec
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}--
⑨