#!/bin/csh -f

# Watch for someone ($1) to log in.

set id = `echo $1 | cut -d@ -f1`
set host = `echo $1 | cut -d@ -f2`

while (! { (finger @$host | grep -w $id) })
  sleep 120
end
echo $1 logged in