#!/bin/sh -
#
# simple little front end to "finger <user(s)>@doc.ic.ac.uk".
# Saves having to type "finger abc@doc.ic.ac.uk xyz@doc.ic.ac.uk ....."
# (which is what you have to do using the finger command directly).
#
progname=`basename $0`

if [ $# -eq 0 ] ; then
  echo "usage: $progname <user>1+" >&2
  exit 1
fi

echo ""

for user in $* ; do
  echo "######################### Doing finger $user@doc.ic.ac.uk....."
  finger $user@doc.ic.ac.uk
done #for user

echo "######################### Done $progname $*."
echo ""