diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-02-28 23:07:57 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-02-28 23:07:57 +0100 |
| commit | 9fac555e1baadc02e97a59ca0eac060a15d33be3 (patch) | |
| tree | 5a94e1ddf3f0456239126550a29bd8159681f15a | |
| parent | 5c689e14e4ccd143f8d6f377b976044ffecacb9c (diff) | |
| download | deployment-9fac555e1baadc02e97a59ca0eac060a15d33be3.tar.gz deployment-9fac555e1baadc02e97a59ca0eac060a15d33be3.tar.bz2 deployment-9fac555e1baadc02e97a59ca0eac060a15d33be3.zip | |
cron
| -rw-r--r-- | crontab.template | 20 |
1 files changed, 13 insertions, 7 deletions
diff --git a/crontab.template b/crontab.template index 0432d7a..09b45fa 100644 --- 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 |