view deploy/config/run-external.sh.in @ 1613:90bed4e10cc8 deploy

Download file link
author Chris Cannam
date Wed, 30 Aug 2017 17:24:37 +0100
parents 83412a0a2389
children
line wrap: on
line source
#!/bin/bash
logfile=/var/log/external-repos.log
( 
flock -s 200 
echo >> $logfile
date >> $logfile
/var/www/code/reposman/convert-external-repos.rb \
	-s /var/hg \
	-r INSERT_API_SCHEME_HERE://INSERT_API_HOST_HERE/ \
	-k INSERT_API_KEY_HERE \
	-v \
	--http-user=INSERT_API_USER_HERE \
	--http-pass=INSERT_API_PASSWORD_HERE \
        -c "/var/www/code/reposman/update-external-repo.sh" \
	>> $logfile 2>&1
date >> $logfile
echo Done >> $logfile
)200>>$logfile