#!/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 }