#! /bin/sh
#
# Usage: pcmd
#
# Execute a command on all machines listed in the $MACHINES file.
#
# Author: rdm
#

MACHINES=/usr/local/root/proof/etc/cluster.conf

cmd=$*

if [ -f $MACHINES ]
then
   machines=`cat $MACHINES`
   for i in $machines
   do
      echo "$i: $cmd"
      rsh $i $cmd
   done
fi