User Tools

Site Tools


build:jenkins

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
build:jenkins [2011/08/19 21:50]
Craig Buchek [TODO] Look into jenkins.rb for managing tasks.
build:jenkins [2012/12/10 22:41] (current)
Line 33: Line 33:
 JENKINS_PORT=8099 JENKINS_PORT=8099
 sudo sed -i /​etc/​default/​jenkins -e "​s/​^HTTP_PORT=.*$/​HTTP_PORT=$JENKINS_PORT/"​ sudo sed -i /​etc/​default/​jenkins -e "​s/​^HTTP_PORT=.*$/​HTTP_PORT=$JENKINS_PORT/"​
-sudo sed -i /​etc/​default/​jenkins -e '​s|^JENKINS_ARGS=.*$|JENKINS_ARGS="​--webroot=/​var/​run/​jenkins/​war --httpListenAddress=127.0.0.1 --httpPort=$HTTP_PORT --ajp13Port=$AJP_PORT"​|'​+sudo sed -i /​etc/​default/​jenkins -e '​s|^JENKINS_ARGS=.*$|JENKINS_ARGS="​--webroot=/​var/​cache/​jenkins/​war --httpListenAddress=127.0.0.1 --httpPort=$HTTP_PORT --ajp13Port=$AJP_PORT"​|'​
 sudo /​etc/​init.d/​jenkins restart sudo /​etc/​init.d/​jenkins restart
 </​code>​ </​code>​
build/jenkins.txt ยท Last modified: 2012/12/10 22:41 (external edit)