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.
This commit is contained in:
Ori Bernstein 2022-08-05 22:43:16 +00:00
parent 909323e92a
commit db6883559f

View file

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