diff options
author | Florian Dold <florian.dold@gmail.com> | 2016-02-28 22:56:00 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2016-02-28 22:56:00 +0100 |
commit | 412acdcc44a998177b5845e041e9e3f145a5b317 (patch) | |
tree | bf618826726392a55c3097aeb9684e1004c899f7 | |
parent | 589f1c9c51dfe09efadb96482948162e800ed166 (diff) | |
download | deployment-412acdcc44a998177b5845e041e9e3f145a5b317.tar.gz deployment-412acdcc44a998177b5845e041e9e3f145a5b317.tar.bz2 deployment-412acdcc44a998177b5845e041e9e3f145a5b317.zip |
crontab
-rw-r--r-- | crontab | 14 |
1 files changed, 10 insertions, 4 deletions
@@ -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 |