plan9front/rc/bin/delkey
Ori Bernstein db6883559f delkey: stop being clever about which factotum to use
use only /mnt/factotum: if you want to delete from your
terminal, bind the terminal in as your factotum.
2022-08-05 22:43:16 +00:00

8 lines
175 B
Bash
Executable file

#!/bin/rc
rfork e
ctl = /mnt/factotum/ctl
sed 's/ ![0-9a-zA-Z_]+\??/ /g; s/''/''''/g; s/ +$//' $ctl | \
awk -v 'ctl='^$ctl ' { printf "echo ''del%s'' > %s\n", $0, ctl } '