annotate deploy/config/run-reposman.sh.in @ 1621:3a510bf6a9bc

Merge from live branch
author Chris Cannam
date Fri, 13 Jul 2018 10:44:33 +0100
parents 83412a0a2389
children
rev   line source
Chris@1590 1 #!/bin/bash
Chris@1590 2 logfile=/var/log/reposman.log
Chris@1590 3 (
Chris@1590 4 flock -s 200
Chris@1590 5 echo >> $logfile
Chris@1590 6 /var/www/code/reposman/reposman-soundsoftware.rb \
Chris@1590 7 -s /var/hg \
Chris@1593 8 -r INSERT_API_SCHEME_HERE://INSERT_API_HOST_HERE/ \
Chris@1590 9 -k INSERT_API_KEY_HERE \
Chris@1593 10 --http-user=INSERT_API_USER_HERE \
Chris@1593 11 --http-pass=INSERT_API_PASSWORD_HERE \
Chris@1590 12 -o www-data \
Chris@1590 13 -g code \
Chris@1590 14 -c "/var/www/code/reposman/run-hginit.sh" \
Chris@1590 15 --scm=Mercurial \
Chris@1590 16 >> $logfile 2>&1
Chris@1590 17 )200>>$logfile