1234567891011121314151617181920212223 |
- #!/bin/rc
- # desc: choose the type of file system to install
- switch($1){
- case checkdone
- if(! ~ $fstype fossil fossil+venti){
- configfs=ready
- export configfs
- }
- case go
- echo 'You can install the following types of file systems:'
- echo
- echo ' fossil the new Plan9 fileserver'
- echo ' fossil+venti fossil + a archival dump server'
- echo
- prompt -d fossil 'File system' fossil fossil+venti
- fstype=$rd
- export fstype
- }
|