From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Oct 2006 12:02:55 +0000 (+0000)
Subject: sacerdot is now the user for the daily bench.
X-Git-Tag: 0.4.95@7852~941
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1ae07958b58475eb0c6fbf8a0c960232b196e948;p=helm.git

sacerdot is now the user for the daily bench.
---

diff --git a/matita/scripts/crontab b/matita/scripts/crontab
index e500edb04..c44a1e4ae 100644
--- a/matita/scripts/crontab
+++ b/matita/scripts/crontab
@@ -1,4 +1,4 @@
 MAILTO=helm@mowgli.cs.unibo.it
-HOME=/home/tassi/
+HOME=/home/sacerdot/
 #SVNOPTIONS='-r {2006-01-09}'
-00 02 * * * sh /home/tassi/helm/software/matita/scripts/crontab.sh
+00 02 * * * sh /home/sacerdot/miohelm/matita/scripts/crontab.sh