update depot address of jenkins
This commit is contained in:
parent
6b85ddc9ba
commit
477753e3e7
|
@ -17,7 +17,7 @@ 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 http://pkg.jenkins-ci.org/debian-stable binary/ > /etc/apt/sources.list.d/jenkins.list'
|
||||
sudo sh -c 'echo deb https://pkg.jenkins.io/debian binary/ > /etc/apt/sources.list.d/jenkins.list'
|
||||
~~~
|
||||
|
||||
Ensuite on procède à l’installation:
|
||||
|
|
Loading…
Reference in a new issue