diff deploy/config/run-reposman.sh.in @ 1590:c18460da6620 dockerise

Numerous deployment updates
author Chris Cannam
date Thu, 17 Aug 2017 16:04:36 +0100
parents
children 83412a0a2389
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/deploy/config/run-reposman.sh.in	Thu Aug 17 16:04:36 2017 +0100
@@ -0,0 +1,17 @@
+#!/bin/bash
+logfile=/var/log/reposman.log
+( 
+flock -s 200 
+echo >> $logfile
+/var/www/code/reposman/reposman-soundsoftware.rb \
+	-s /var/hg \
+	-r https://code.soundsoftware.ac.uk/ \
+	-k INSERT_API_KEY_HERE \
+	--http-user=user \
+	--http-pass=password \
+	-o www-data \
+	-g code \
+	-c "/var/www/code/reposman/run-hginit.sh" \
+	--scm=Mercurial \
+	>> $logfile 2>&1
+)200>>$logfile