# Finger script III by Daemon. # 1-30-93 # Four forms are available. # finger nickname will finger the user@host of the nickname # finger -h nickname will finger the @host of the nickname # finger user@host.name will finger the given user@host # finger @host.name will finger the given @host.name alias finger { ^exec -kill %finger if (([$0] == [-h]) && ([$1] != [])) { userhost $1 -cmd if ([$3] != []) { eval exec -name finger exec finger @$$4 } { echo *** FINGER: no such nickname $1 } } { if (index(@ $0) > -1) { exec -name finger exec finger $0 } { if ([$0]) { userhost $0 -cmd if ([$3] != []) { eval exec -name finger exec finger $$3@$$4 } { echo *** FINGER: no such nickname $0 } } { echo *** Usage: finger [[-h] ][[user]@full.hostname] echo *** e.g. finger bob, finger -h bob, finger robert@eff.org, or finger @eff.org }}} }