|
|
@ -16,8 +16,8 @@ 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 - |
|
|
|
sudo sh -c 'echo deb <http://pkg.jenkins-ci.org/debian-stable> binary/ > /etc/apt/sources.list.d/jenkins.list' |
|
|
|
wget -q -O - https://jenkins-ci.org/debian/jenkins-ci.org.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' |
|
|
|
~~~ |
|
|
|
|
|
|
|
Ensuite on procède à l’installation: |
|
|
|