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 ~~~