2017-05-09 22:53:41 +02:00
|
|
|
|
---
|
|
|
|
|
categories: dev
|
|
|
|
|
title: Howto Jenkins
|
|
|
|
|
...
|
2016-12-29 11:25:39 +01:00
|
|
|
|
|
2017-05-09 22:53:58 +02:00
|
|
|
|
* Documentation : <https://jenkins.io/doc/>
|
|
|
|
|
|
|
|
|
|
Jenkins est un outil open source d'intégration continue qui est écrit
|
|
|
|
|
en Java, Jenkins peut fonctionner dans un conteneur de servlets tel
|
|
|
|
|
qu’Apache Tomcat, ou en mode autonome avec son propre serveur Web
|
|
|
|
|
embarqué.
|
2016-12-29 11:25:39 +01:00
|
|
|
|
|
|
|
|
|
# *Installation*
|
|
|
|
|
|
|
|
|
|
Jenkins n’est pas disponible dans les dépôts Debian, il faut donc ajouter le dépôt comme suit:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~~~
|
|
|
|
|
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:
|
|
|
|
|
|
|
|
|
|
~~~
|
2017-01-14 00:06:38 +01:00
|
|
|
|
# apt update
|
2016-12-29 11:25:39 +01:00
|
|
|
|
apt install jenkins
|
|
|
|
|
~~~
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# *Configuration*
|
|
|
|
|
|
2017-05-09 22:54:41 +02:00
|
|
|
|
Par défaut Jenkins utilise le port 8080, pour modifier cela, il faut modifier le fichier /etc/default/jenkins et modifier la ligne suivante:
|
2016-12-29 11:25:39 +01:00
|
|
|
|
|
|
|
|
|
~~~
|
|
|
|
|
HTTP_PORT=8080
|
|
|
|
|
~~~
|
|
|
|
|
|
|
|
|
|
Le */home* de jenkins se trouve dans:
|
|
|
|
|
|
|
|
|
|
~~~
|
|
|
|
|
/var/lib/jenkins/
|
|
|
|
|
~~~
|
|
|
|
|
|
2017-05-09 22:54:58 +02:00
|
|
|
|
Il faut créer par exemple la clé ssh de jenkins dans ce répertoire, en se connectant avec l'utilisateur jenkins en faisant:
|
2016-12-29 11:25:39 +01:00
|
|
|
|
|
|
|
|
|
~~~
|
|
|
|
|
su - jenkins
|
|
|
|
|
~~~
|
|
|
|
|
|
|
|
|
|
Puis générer la clé SSH.
|
|
|
|
|
|