Chris@1590: #!/bin/bash
Chris@1590: logfile=/var/log/external-repos.log
Chris@1590: ( 
Chris@1590: flock -s 200 
Chris@1590: echo >> $logfile
Chris@1590: date >> $logfile
Chris@1590: /var/www/code/reposman/convert-external-repos.rb \
Chris@1590: 	-s /var/hg \
Chris@1590: 	-r https://code.soundsoftware.ac.uk/ \
Chris@1590: 	-k INSERT_API_KEY_HERE \
Chris@1590: 	-v \
Chris@1590: 	--http-user=user \
Chris@1590: 	--http-pass=password \
Chris@1590:         -c "/var/www/code/reposman/update-external-repo.sh" \
Chris@1590: 	>> $logfile 2>&1
Chris@1590: date >> $logfile
Chris@1590: echo Done >> $logfile
Chris@1590: )200>>$logfile