commit 9fac555e1baadc02e97a59ca0eac060a15d33be3 parent 5c689e14e4ccd143f8d6f377b976044ffecacb9c Author: Florian Dold <florian.dold@gmail.com> Date: Sun, 28 Feb 2016 23:07:57 +0100 cron Diffstat:
| M | crontab.template | | | 20 | +++++++++++++------- |
1 file changed, 13 insertions(+), 7 deletions(-)
diff --git a/crontab.template b/crontab.template @@ -1,13 +1,19 @@ -# Adjust based on account -MAILTO= +# XXX: ajust based on account +MAILTO=demo@localhost +# XXX: ajust based on account LD_LIBRARY_PATH=/home/demo/local/lib/taler + # minute hour day-of-month month day-of-week command -@monthly cd $HOME/gnunet/; git pull &>/dev/null; make &>/dev/null; make install &>/dev/null; -3 * * * * cd $HOME/mint; git pull &>/dev/null; $HOME/deployment/build_mint.sh &>/dev/null; $HOME/deployment/launch_mint.sh mint &>/dev/null; +# Occasionaly update GNUnet +@monthly { cd $HOME/gnunet/ && make && make install; } &>/dev/null +# Update mint +3 * * * * { cd $HOME/mint && git pull && cd $HOME/deployment && ./build_mint.sh && ./launch_mint.sh; } &>/dev/null # Update the landing page, which is in the wallet repo -3 * * * * cd $HOME/wallet; git pull &>/dev/null; -13 * * * * cd $HOME/merchant/; git pull &>/dev/null; $HOME/build_merchant.sh &>/dev/null; $HOME/launch_merchant.sh &>/dev/null; -*/13 * * * * cd $HOME/bank/; git pull &>/dev/null; cd $HOME; ./django_wsgi.sh &>/dev/null +3 * * * * cd $HOME/wallet && git pull &>/dev/null +# Update merchant +13 * * * * { cd $HOME/merchant/ && git pull && cd $HOME/deployment && ./build_merchant.sh && ./launch_merchant.sh; } &>/dev/null +# Update bank +*/13 * * * * { cd $HOME/bank/ && git pull && cd $HOME/deployment && ./django_wsgi.sh } &>/dev/null