From 6b85ddc9ba1c66ddd3479aaccc9ce875857bbfa8 Mon Sep 17 00:00:00 2001 From: btatu Date: Thu, 6 Dec 2018 16:22:45 +0100 Subject: [PATCH] update key package source for jenkins --- HowtoJenkins.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/HowtoJenkins.md b/HowtoJenkins.md index 9ed551b3..1c584d7b 100644 --- a/HowtoJenkins.md +++ b/HowtoJenkins.md @@ -16,7 +16,7 @@ Jenkins n’est pas disponible dans les dépôts Debian, il faut donc ajouter le ~~~ -wget -q -O - https://jenkins-ci.org/debian/jenkins-ci.org.key | sudo apt-key add - +wget -q -O - https://pkg.jenkins.io/debian/jenkins.io.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' ~~~