|
0
|
1 #!/bin/bash
|
|
|
2 # If one arg't, send to home dir of Edinburgh desktop machine
|
|
|
3 # If more than one, send all but last to last, which must be a directory (or . for $HOME)
|
|
|
4 # To rename remote file do toE local -r remote [dir]
|
|
|
5 if [ "x$2" = "x" ]; then
|
|
|
6 :
|
|
|
7 else
|
|
|
8 dir=${!#}
|
|
|
9 set -- "${@: 1: $#-1}"
|
|
|
10 if [ "$dir" = "." ]; then
|
|
|
11 unset dir
|
|
|
12 fi
|
|
|
13 fi
|
|
|
14 echo xcp "$@" "$DESKTOP:$dir"
|
|
|
15 xcp "$@" "$DESKTOP:$dir"
|
|
|
16 exit 0
|
|
|
17
|
|
|
18 # Older version follows
|
|
|
19 ff=
|
|
|
20 if [ "x$2" = "x" ]
|
|
|
21 then
|
|
|
22 dest="$DESKTOP:"
|
|
|
23 ff="'$1'"
|
|
|
24 else
|
|
|
25 while [ "x$2" != "x" ]
|
|
|
26 do
|
|
|
27 ff="$ff '$1'"
|
|
|
28 shift
|
|
|
29 done
|
|
|
30 dest="'$DESKTOP:$1'"
|
|
|
31 fi
|
|
|
32 echo scp $ff $dest
|
|
|
33 sh -c "scp $ff $dest"
|