From 558bfc6da0d53427373b975473b31bd1d9010fa9 Mon Sep 17 00:00:00 2001
From: Julien Malik <julien.malik@gmail.com>
Date: Tue, 16 Dec 2014 08:14:48 +0100
Subject: [PATCH] [enh] set prefix

---
 scripts/install | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/scripts/install b/scripts/install
index 96c47f6..f7f37b3 100644
--- a/scripts/install
+++ b/scripts/install
@@ -26,7 +26,14 @@ EOF
 
 sudo apt-get update
 sudo apt-get install jenkins -y
-sudo service jenkins start
+
+if [[ "$path" != "/" ]];
+then
+  # $ means 'process only the last line'
+  sudo sed -i '$ s@--ajp13Port=$AJP_PORT@--ajp13Port=$AJP_PORT --prefix=$PREFIX@g' /etc/default/jenkins
+fi
+
+sudo service jenkins restart
 
 sudo yunohost service add jenkins -l /var/log/jenkins/jenkins.log