commit 412acdcc44a998177b5845e041e9e3f145a5b317 parent 589f1c9c51dfe09efadb96482948162e800ed166 Author: Florian Dold <florian.dold@gmail.com> Date: Sun, 28 Feb 2016 22:56:00 +0100 crontab Diffstat:
| M | crontab | | | 14 | ++++++++++---- |
1 file changed, 10 insertions(+), 4 deletions(-)
diff --git a/crontab b/crontab @@ -1,7 +1,13 @@ +# Adjust based on account +MAILTO= + LD_LIBRARY_PATH=/home/demo/local/lib/taler -# m h dom mon dow command + +# 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/build_mint.sh &>/dev/null; $HOME/launch_mint.sh mint &>/dev/null; -3 * * * * cd $HOME/wallet; git pull &>/dev/null; # WARNING this action does update the landing page +3 * * * * cd $HOME/mint; git pull &>/dev/null; $HOME/deployment/build_mint.sh &>/dev/null; $HOME/deployment/launch_mint.sh mint &>/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; ./deploy.sh $HOME/; cd $HOME; ./django_wsgi.sh &>/dev/null +*/13 * * * * cd $HOME/bank/; git pull &>/dev/null; cd $HOME; ./django_wsgi.sh &>/dev/null