#!/bin/bash
# Fetch file(s) from Edinburgh desktop machine
#  Paths should be absolute or relative to remote home dir
#  Globbing works (but quote it on the way in to avoid local interpretation)
#   To rename a single remote file do fromE remote -r local
echo xcp "$DESKTOP:" "$@"
xcp "$DESKTOP:" "$@"
exit $?

# Older version follows
ff=
dest=.
if [ "x$2" = "x" ]
 then
  ff=troutbeck.inf.ed.ac.uk:$1
 else
  while [ "x$2" != "x" ]
   do
    ff="$ff troutbeck.inf.ed.ac.uk:$1"
    shift
  done
  dest=$1
fi
echo scp $ff $dest
scp $ff $dest