tools/update web site

   1 #!/bin/bash
   2 cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
   3
   4 cd ..
   5
   6 rsync -avz --delete -e 'ssh -p 10006' ./ \
   7       --exclude="tools/" \
   8       --exclude=".git/" \
   9       n0@www3.svjatoslav.eu:/mnt/big/projects/physical/
  10
  11
  12 echo ""
  13 echo "Press ENTER to close this window."
  14 read