1#!/bin/rc 2 3# desc: choose the type of file system to install 4 5switch($1){ 6case checkdone 7 if(! ~ $fstype fossil fossil+venti){ 8 configfs=ready 9 export configfs 10 } 11 12case go 13 echo 'You can install the following types of file systems:' 14 echo 15 echo ' fossil the new Plan9 fileserver' 16 echo ' fossil+venti fossil + a archival dump server' 17 echo 18 prompt -d fossil 'File system' fossil fossil+venti 19 fstype=$rd 20 export fstype 21} 22 23 24