#! /bin/bash
# Last edited on 2010-05-14 18:30:24 by stolfilocal

usage="${0##*/} {REMOTEDIR} {FILE}..."

# Copies "stolfi@manaus.ic.unicamp.br:{REMOTEDIR}/{{FILE}...}" to the
# current directory. The {FILE} names must not contain embedded blanks
# or special chars like '*,[]{}?'

dir="$1"; shift;
args=( "$@" )
if [[ ${#args[@]} -gt 1 ]]; then
  src="{${args[@]}}"
  src=${src// /,}
else
  src="${args[0]}"
fi
src="stolfi@manaus.ic.unicamp.br:${dir}/${src}"
dst="."
# echo "${src}"
scp -p "${src}" ./