diff --git a/HowtoJenkins.md b/HowtoJenkins.md index f2eb0cb9..9ed551b3 100644 --- a/HowtoJenkins.md +++ b/HowtoJenkins.md @@ -16,8 +16,8 @@ Jenkins n’est pas disponible dans les dépôts Debian, il faut donc ajouter le ~~~ -wget -q -O - | sudo apt-key add - -sudo sh -c 'echo deb binary/ > /etc/apt/sources.list.d/jenkins.list' +wget -q -O - https://jenkins-ci.org/debian/jenkins-ci.org.key | sudo apt-key add - +sudo sh -c 'echo deb http://pkg.jenkins-ci.org/debian-stable binary/ > /etc/apt/sources.list.d/jenkins.list' ~~~ Ensuite on procède à l’installation: