annotate deploy/config/run-external.sh.in @ 1590:c18460da6620 dockerise

Numerous deployment updates
author Chris Cannam
date Thu, 17 Aug 2017 16:04:36 +0100
parents
children 83412a0a2389
rev   line source
Chris@1590 1 #!/bin/bash
Chris@1590 2 logfile=/var/log/external-repos.log
Chris@1590 3 (
Chris@1590 4 flock -s 200
Chris@1590 5 echo >> $logfile
Chris@1590 6 date >> $logfile
Chris@1590 7 /var/www/code/reposman/convert-external-repos.rb \
Chris@1590 8 -s /var/hg \
Chris@1590 9 -r https://code.soundsoftware.ac.uk/ \
Chris@1590 10 -k INSERT_API_KEY_HERE \
Chris@1590 11 -v \
Chris@1590 12 --http-user=user \
Chris@1590 13 --http-pass=password \
Chris@1590 14 -c "/var/www/code/reposman/update-external-repo.sh" \
Chris@1590 15 >> $logfile 2>&1
Chris@1590 16 date >> $logfile
Chris@1590 17 echo Done >> $logfile
Chris@1590 18 )200>>$logfile