annotate deploy/config/run-external.sh.in @ 1600:ed9c467ef922 dockerise

Add hggit extension
author Chris Cannam
date Wed, 23 Aug 2017 11:32:50 +0100
parents 83412a0a2389
children
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@1593 9 -r INSERT_API_SCHEME_HERE://INSERT_API_HOST_HERE/ \
Chris@1590 10 -k INSERT_API_KEY_HERE \
Chris@1590 11 -v \
Chris@1593 12 --http-user=INSERT_API_USER_HERE \
Chris@1593 13 --http-pass=INSERT_API_PASSWORD_HERE \
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