1 files changed, 1 insertions, 41 deletions
diff --git a/rc/bin/delkey b/rc/bin/delkey
index c80af6a7b..4a0b4e6bc 100755
--- a/rc/bin/delkey
+++ b/rc/bin/delkey
@@ -6,47 +6,7 @@ ctl = /mnt/factotum/ctl
 if(test -r /mnt/term/mnt/factotum/ctl)
 	ctl = /mnt/term/mnt/factotum/ctl
 
-fn forceit {
-	switch($force){
-	case no
-		echo -n $* '? [y/n]' > /dev/cons
-		ok = `{read}
-		switch($ok){
-		case y* Y*
-			echo yes
-		case q* Q*
-			exit ''
-		case *
-			echo no
-		}
-	case *
-		echo yes
-	}
-}
-
-fn deleteit {
-	key = `{echo $* | sed 's/ ![0-9a-zA-Z_]+\??/ /g' | sed 's/ +$//'}
-	if(~ `{forceit del$key} yes)
-		if(! echo del$key > $ctl)
-			exit bad
-}
-
-force = no
-
-if(~ $1 '-f'){
-	force = yes
-	shift
-}
-
 ifs='
 '
 
-if(~ $#* 0){
-	for(i in `{cat $ctl})
-		deleteit $i
-	exit ''
-}
-
-for(i in `{grep $"* $ctl})
-	deleteit $i
-exit ''
+sed 's/ ![0-9a-zA-Z_]+\??/ /g; s/''/''''/g; s/ +$//' $ctl | awk -v 'ctl='^$ctl ' { printf "echo ''del%s'' > %s\n", $0, ctl } '