I am not familiar with Jenkins. We are behind a corporate firewall and not allowed to put our dev machines on the internet (of course). I have a user who needs to download a bunch of plugins for Jenkins. Can they be downloaded in a zip file and moved to the jenkins plugin directory on the associate machine or some sort of mirrored repository?
Yes, there are a few tools to do that - or you can simply copy them out of the ${JENKINS_HOME}/plugins directory. Each plugin is a file with extension .jpi or, for historical reasons, .hpi. As long as you drop them into the plugins directory before starting Jenkins, you are fine, or you can also add them via UI, but that is slower
1 Like
Managing Plugins for some options
2 Likes