From ccdb448e63aafdb7d0ae9d4e75d35f4557e93b5e Mon Sep 17 00:00:00 2001 From: btatu Date: Thu, 6 Dec 2018 16:35:50 +0100 Subject: [PATCH] fix depot jenkins : debian -> debian-stable --- HowtoJenkins.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/HowtoJenkins.md b/HowtoJenkins.md index 893b3b8e..b0efff31 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 - https://pkg.jenkins.io/debian/jenkins.io.key | sudo apt-key add - -sudo sh -c 'echo deb https://pkg.jenkins.io/debian binary/ > /etc/apt/sources.list.d/jenkins.list' +wget -q -O - https://pkg.jenkins.io/debian-stable/jenkins.io.key | sudo apt-key add - +sudo sh -c 'echo deb https://pkg.jenkins.io/debian-stable binary/ > /etc/apt/sources.list.d/jenkins.list' ~~~ Ensuite on procède à l’installation: