configfs 427 B

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