From 42bbb57d634482fa36ad657e87c2ad3c5e6a10ab Mon Sep 17 00:00:00 2001 From: emorino Date: Tue, 22 Mar 2022 15:28:46 +0100 Subject: [PATCH] Mise a jour de l'install jenkins --- HowtoJenkins.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/HowtoJenkins.md b/HowtoJenkins.md index 46270efd..6b9312f5 100644 --- a/HowtoJenkins.md +++ b/HowtoJenkins.md @@ -27,15 +27,20 @@ Jenkins n’est pas disponible dans les dépôts Debian, il faut donc ajouter le ~~~ -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' +# curl -fsSL https://pkg.jenkins.io/debian-stable/jenkins.io.key | tee \ +/etc/apt/trusted.gpg.d/jenkins-keyring.asc > /dev/null + +# echo deb [signed-by=/etc/apt/trusted.gpg.d/jenkins-keyring.asc] \ +https://pkg.jenkins.io/debian-stable binary/ | tee \ +/etc/apt/sources.list.d/jenkins.list > /dev/null ~~~ Ensuite on procède à l’installation: ~~~ # apt update -apt install jenkins +# apt install fontconfig openjdk-11-jre +# apt install jenkins ~~~