update key package source for jenkins

This commit is contained in:
btatu 2018-12-06 16:22:45 +01:00
parent 11fceb3409
commit 6b85ddc9ba

View file

@ -16,7 +16,7 @@ Jenkins nest 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'
~~~