#!/bin/csh
#
# pushall - push login files to remote hosts setup in $HOME/login/hosts
#
#

# clear the screen first
/usr/bin/clear

#
foreach h (`/bin/cat $HOME/login/hosts | /bin/cut -f1 -d';' | /bin/xargs`)
#	/bin/echo Pushing $h\.\.\.
	$HOME/scripts/rpush $h
end