X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=rc%2Fbin%2Fdelkey;h=4a0b4e6bc5afbee7b9170817735f727dd0549f9c;hb=2f67e21393c25943f25e116fa6912b7d92dbca4e;hp=c80af6a7b454908eba243e076e7f1081d4eadcd8;hpb=5e45406a0d63df3bc86c718d107bfe0123795d70;p=plan9front.git 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 } '