changeset 64148 | bbf43b7c4d0d |
child 64158 | 2f7de0af23d3 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/cronjob/crontab.lxbroy10 Tue Oct 11 20:20:32 2016 +0200 @@ -0,0 +1,5 @@ +SHELL=/bin/bash +MAILTO=wenzelm + +03 00 * * * $HOME/cronjob/self_update +17 00 * * * $HOME/cronjob/isabelle/Admin/cronjob/main -f > $HOME/cronjob/run/main.out >> $HOME/cronjob/run/main.err