Skip to content

Instantly share code, notes, and snippets.

@ggtools
Created September 21, 2016 12:18
Show Gist options
  • Save ggtools/633d1359d5dc9a911854a78f7e9e753b to your computer and use it in GitHub Desktop.
Save ggtools/633d1359d5dc9a911854a78f7e9e753b to your computer and use it in GitHub Desktop.
sed -i 's,"url":"http://updates.jenkins-ci.org/download/plugins/,"url":"http://mirror.mirror.on.the.wall/plugins/,g' /var/jenkins_home/updates/default.json
@ggtools
Copy link
Author

ggtools commented Sep 21, 2016

Penser aussi à changer dans Manager Plugins/Advanced la valeur de update site à qq chose comme:

http://mirror.mirror.on.the.wall/updates/current/update-center.json

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment