devel/push-debian.sh

   1 #!/bin/bash
   2 DIR=$(dirname $0)
   3
   4 host=debian03.pl.sophia.inria.fr
   5
   6 rsync -a "$@" $DIR/ root@$host:/root/myslice/