2 cd /mnt/keys/$1 > /dev/null >[2=1] && {
9 exp=(expires on `{date $exp})
13 echo user $1: plan 9 key has expired
15 echo user $1: plan 9 key status is $stat and $exp
17 grep '^'$1'[ ]' /adm/keys.who | tail -1
19 cd /mnt/netkeys/$1 > /dev/null >[2=1] && {
26 exp=(expires on `{date $exp})
30 echo user $1: network key has expired
32 echo user $1: network key status is $stat and $exp
35 grep '^'$1'[ ]' /adm/netkeys.who | tail -1