What do you want to save?
Add Code snippet
New code examples
-
Shell/Bash 2022-02-02 22:11:10
how to upgrade jenkins in docker
# I'll keep it as "jenkins", you can use "jenkins_home" if you wish mkdir -p $HOME/jenkins # if you're using other names, replace $HOME/jenkins with your choice # in case you want to change port, use this # -e JENKINS_OPTS="--http... Add solution