configfs 568 B

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