Fix bin/dump_crontab

~/infrastructure is a symlink to ~/CGAL/branches/local-master.git where I can modify files
2012-11-13 14:45:13 +01:00 · 2012-11-13 14:45:13 +01:00 · 899e8c55d1
parent 4c540f9e7b
commit 899e8c55d1
1 changed files with 1 additions and 1 deletions
--- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
+++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
@ -1,6 +1,6 @@
 #!/bin/zsh

-cd $HOME/CGAL/next/Maintenance/infrastructure/cgal.geometryfactory.com/
+cd $HOME/infrastructure
 crontab -l >| crontab
 if [ -d ../../../.git ]; then
    git pull --quiet