change jenkins port; start to use/set up the mirror service

1 files changed, 10 insertions, 2 deletions

diff --git a/control/setup-control-node b/control/setup-control-node
index 0efdf83..5a3824d 100755
--- a/control/setup-control-node
+++ b/control/setup-control-node
@@ -17,6 +17,8 @@ echo 'deb http://pkg.jenkins-ci.org/debian binary/' | sudo tee /etc/apt/sources.
 sudo apt-get update
 sudo apt-get install -y jenkins
 
+sudo sed -i 's/HTTP_PORT=8080/HTTP_PORT=9090/' /etc/default/jenkins
+sudo service jenkins restart
 cd ~jenkins
 sudo -H -u jenkins bzr init
 cat <<EOF | sudo -H -u jenkins tee .bzrignore
@@ -72,8 +74,8 @@ cat <<EOF | sudo tee /etc/apache2/sites-available/android-build.linaro.org > /de
     </Proxy>
 
     ProxyPreserveHost on
-    ProxyPass / http://localhost:8080/ retry=1
-    ProxyPassReverse / http://localhost:8080/
+    ProxyPass / http://localhost:9090/
+    ProxyPassReverse / http://localhost:9090/
 
     Header edit Location ^http://android-build.linaro.org https://android-build.linaro.org
 
@@ -129,6 +131,12 @@ EOF
 sudo sv reload git-daemon
 
 #
+# +++ git-mirror service +++
+#
+bzr get lp:linaro-android-mirror
+# XXX more here!
+
+#
 # +++ gitweb +++
 #
 # sudo apt-get install -y gitweb