added support for the dos partition on raspberry pi.

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}