5 ctl = /mnt/factotum/ctl
6 if(test -r /mnt/term/mnt/factotum/ctl)
7 ctl = /mnt/term/mnt/factotum/ctl
12 echo -n $* '? [y/n]' > /dev/cons
28 key = `{echo $* | sed 's/ ![0-9a-zA-Z_]+\??/ /g' | sed 's/ +$//'}
29 if(~ `{forceit del$key} yes)
30 if(! echo del$key > $ctl)
50 for(i in `{grep $"* $ctl})