#! /bin/csh -f
# Last edited on 2008-02-04 17:14:12 by stolfi

set usage = "$0 [-debug] HOST COMMAND..."

# Runs "COMMAND" remotely in HOST, brackets output with "===" and date.

set debug = 0
while ( ( $#argv > 0 ) && ( "/$1" =~ /-* ) )
  if ( ( $#argv >= 1 ) && ( "/$1" == "/-debug" ) ) then
    set debug = 1; shift
  else
    echo "usage: ${usage}"; exit 1
  endif
end

if ( $#argv != 2 ) then
  echo "usage: ${usage}"; exit 1
endif

set mch = "$1"; shift;
set cmd = "$1"; shift;

set dt = `date '+%Y-%m-%d-%H%M%S'`
echo "=== ${dt} ================================================"
echo 'running "'"${cmd}"'" in '"${mch}"'...'
/usr/bin/ssh -a -x -e none -n ${mch} "${cmd} |& tr '\015' '\012'"
echo "======================================================================"