From db6883559fb0f243f94d0a2dfab75f866e651652 Mon Sep 17 00:00:00 2001
From: Ori Bernstein <ori@eigenstate.org>
Date: Fri, 5 Aug 2022 22:43:16 +0000
Subject: [PATCH] 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.
---
 rc/bin/delkey | 8 ++------
 1 file 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 } '