shithub: plan9front

Download patch

ref: db6883559fb0f243f94d0a2dfab75f866e651652
parent: 909323e92a4e694bff5908e500d8655ac1bbd932
author: Ori Bernstein <ori@eigenstate.org>
date: Fri Aug 5 18:43:16 EDT 2022

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.

--- a/rc/bin/delkey	Fri Aug  5 10:29:59 2022
+++ b/rc/bin/delkey	Fri Aug  5 18:43:16 2022
@@ -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 } '