|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Changing jenkins.war require to rebuild the war then generate a fresh new docker image with this custom binary, not relying on official one.
Assuming jenkins do support a "patch" directory in addition to bundled-in-war and jenkins_home, it's easier for end-user to create a Dockerfile like this :
from jenkins:1.565.3
run curl -L https://updates.jenkins-ci.org/latest/git.hpi -o /opt/jenkins_patch/plugins/git.hpi