tweaks in the devel scripts

[myslice.git] / devel / push-debian.sh

diff --git a/devel/push-debian.sh b/devel/push-debian.sh
index 37082a5..9279c86 100755 (executable)
--- a/devel/push-debian.sh
+++ b/devel/push-debian.sh
@@ -1,6 +1,7 @@
 #!/bin/bash
 DIR=$(dirname $0)
+ROOT=$(cd $DIR/.. ; pwd -P)
 
 host=debian03.pl.sophia.inria.fr
 
-rsync -a "$@" $DIR/ root@$host:/root/myslice/
+rsync -a "$@" --exclude '*.sqlite3' $ROOT/ root@$host:/root/myslice/