configfs 538 B

1234567891011121314151617181920212223242526
  1. #!/bin/rc
  2. # desc: choose the type of file system to install
  3. switch($1){
  4. case checkdone
  5. if(! ~ $fstype kfs fossil){
  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 an archival (dump) file server'
  13. echo ' kfs the old Plan 9 on-disk file server'
  14. echo
  15. echo 'If you choose to install fossil, you can add Venti later,'
  16. echo 'assuming you leave enough disk space for it.'
  17. echo
  18. prompt -d fossil 'File system' fossil kfs
  19. fstype=$rd
  20. export fstype
  21. }