diff options
Diffstat (limited to 'rc/bin/inst/configfs')
| -rwxr-xr-x | rc/bin/inst/configfs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/rc/bin/inst/configfs b/rc/bin/inst/configfs index 81f82897c..04ae55ee6 100755 --- a/rc/bin/inst/configfs +++ b/rc/bin/inst/configfs @@ -4,7 +4,7 @@ switch($1){ case checkdone - if(! ~ $fstype fossil fossil+venti){ + if(! ~ $fstype cwfs){ configfs=ready export configfs } @@ -12,10 +12,9 @@ case checkdone 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 ' cwfs the cached-worm file server' echo - prompt -d fossil 'File system' fossil fossil+venti + prompt -d fossil 'File system' cwfs fstype=$rd export fstype } |