oops. the name of the server is gruenbaer, not eressea

2015-06-17 08:07:47 +02:00 · 2015-06-17 08:07:47 +02:00 · b630c9ee45
parent 5257848648
commit b630c9ee45
1 changed files with 1 additions and 1 deletions
--- a/s/install
+++ b/s/install
@ -29,4 +29,4 @@ done
 # install crontab, but only on the eressea server:
 HOST=`hostname`

-[ "eressea" = "$HOST" ] && crontab $ROOT/process/cron/crontab
+[ "gruenbaer" = "$HOST" ] && crontab $ROOT/process/cron/crontab