1234567891011121314151617181920212223242526 |
- #!/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
- echo '(fossil+venti only reserves and formats the partitions'
- echo ' venti will need, but it will be started on the first'
- echo ' boot.)'
- prompt -d fossil 'File system' fossil fossil+venti
- fstype=$rd
- export fstype
- }
|