devel/push-debian.sh

   1 #!/bin/bash
   2 DIR=$(dirname $0)
   3 ROOT=$(cd $DIR/.. ; pwd -P)
   4
   5 host=debian03.pl.sophia.inria.fr
   6
   7 rsync -a "$@" --exclude '*.sqlite3' $ROOT/ root@$host:/root/myslice/