rc/bin/delkey

   1 #!/bin/rc
   2
   3 rfork e
   4
   5 ctl = /mnt/factotum/ctl
   6 if(test -r /mnt/term/mnt/factotum/ctl)
   7         ctl = /mnt/term/mnt/factotum/ctl
   8
   9 ifs='
  10 '
  11
  12 sed 's/ ![0-9a-zA-Z_]+\??/ /g; s/''/''''/g; s/ +$//' $ctl | awk -v 'ctl='^$ctl ' { printf "echo ''del%s'' > %s\n", $0, ctl } '