#! /bin/bash 
# Last edited on 2011-11-21 23:22:19 by stolfilocal

extraops=()
while [[ $# -gt 0 ]]; do
  if [[ "/$1" == "/-n" ]]; then
    extraops=( "${extraops[@]}" "-n" )
    shift
  else
    echo "** unknown option '$1'" 1>&2; exit 1
  fi
done

rsync -azvui \
  --exclude OLD \
  --exclude old \
  --exclude '*.o' \
  --exclude '*.a' \
  --exclude '*.ho' \
  --exclude '*.eps' \
  --exclude '*.ps' \
  --exclude '*.log' \
  --exclude '*.tgz' \
  --exclude '*.tar' \
  --exclude '*.tar.gz' \
  --exclude '*~' \
  --exclude '.[a-zA-Z]*' \
  --exclude 'out' \
  --exclude 'ot' \
  --exclude 'logs' \
  --exclude 'Deps.make' \
  --exclude 'extract-ho-deps' \
  --exclude 'JUNK/debug' \
  --exclude SAVE \
  --exclude THESES \
  --exclude MODPKG \
  --exclude 00-TARFILES \
  --safe-links \
  "${extraops[@]}" \
  stolfi@manaus.ic.unicamp.br:programs/c/ \
  ./