diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2022-08-05 22:43:16 +0000 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2022-08-05 22:43:16 +0000 |
| commit | db6883559fb0f243f94d0a2dfab75f866e651652 (patch) | |
| tree | 5c7024eedc93d7e227df8e55af88bf8798ddb316 /rc | |
| parent | 909323e92a4e694bff5908e500d8655ac1bbd932 (diff) | |
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.
Diffstat (limited to 'rc')
| -rwxr-xr-x | rc/bin/delkey | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/rc/bin/delkey b/rc/bin/delkey index 4a0b4e6bc..892cef3fb 100755 --- a/rc/bin/delkey +++ b/rc/bin/delkey @@ -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 } ' |