#! /bin/sh
#
# Usage: pload
#
# Display load statistics of all proof machines (using xload).
#
# Author: rdm
#

if [ $# = 0 ]
then
   display=$DISPLAY
else
   display=$1
fi

MACHINES=/usr/local/root/proof/etc/cluster.conf
if test -f $MACHINES && test "$display"
then
   machines=`cat $MACHINES`
   typeset -i offset=772

   for i in $machines
   do
      rsh $i /usr/bin/X11/xload -bg blue -fg yellow -disp $display \
                                -geometry 64x64-0+$offset &
      offset=offset-77
   done

   unset offset
fi