diff options
| author | cinap_lenrek <cinap_lenrek@centraldogma> | 2011-05-03 04:53:43 +0000 |
|---|---|---|
| committer | cinap_lenrek <cinap_lenrek@centraldogma> | 2011-05-03 04:53:43 +0000 |
| commit | 4875561fdbca1e02b0c1a4e02f5c37abf66d6faa (patch) | |
| tree | 15e70c9d62428f4a9dc3ce15599e7b9c231ad2b5 /sys/lib/dist.old/pc/inst/configfs | |
| parent | 4e919b23a1041e8d45d1e50b265b2b86f3a9b00c (diff) | |
remove sys/lib/dist.old
Diffstat (limited to 'sys/lib/dist.old/pc/inst/configfs')
| -rwxr-xr-x | sys/lib/dist.old/pc/inst/configfs | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/sys/lib/dist.old/pc/inst/configfs b/sys/lib/dist.old/pc/inst/configfs deleted file mode 100755 index 81f82897c..000000000 --- a/sys/lib/dist.old/pc/inst/configfs +++ /dev/null @@ -1,23 +0,0 @@ -#!/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 - prompt -d fossil 'File system' fossil fossil+venti - fstype=$rd - export fstype -} - - |