diff deploy/config/run-external.sh.in @ 1593:83412a0a2389 dockerise

Handle API keys etc, + tidying handling of generated files
author Chris Cannam
date Fri, 18 Aug 2017 15:02:20 +0100
parents c18460da6620
children
line wrap: on
line diff
--- a/deploy/config/run-external.sh.in	Fri Aug 18 14:46:06 2017 +0100
+++ b/deploy/config/run-external.sh.in	Fri Aug 18 15:02:20 2017 +0100
@@ -6,11 +6,11 @@
 date >> $logfile
 /var/www/code/reposman/convert-external-repos.rb \
 	-s /var/hg \
-	-r https://code.soundsoftware.ac.uk/ \
+	-r INSERT_API_SCHEME_HERE://INSERT_API_HOST_HERE/ \
 	-k INSERT_API_KEY_HERE \
 	-v \
-	--http-user=user \
-	--http-pass=password \
+	--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