53 lines
1.1 KiB
Markdown
53 lines
1.1 KiB
Markdown
---
|
||
categories: dev
|
||
title: Howto Jenkins
|
||
...
|
||
|
||
* 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é.
|
||
|
||
# *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:
|
||
|
||
~~~
|
||
# apt update
|
||
apt install jenkins
|
||
~~~
|
||
|
||
|
||
# *Configuration*
|
||
|
||
Par défaut Jenkins utilise le port 8080, pour modifier cela, il faut modifier le fichier /etc/default/jenkins et modifier la ligne suivante:
|
||
|
||
~~~
|
||
HTTP_PORT=8080
|
||
~~~
|
||
|
||
Le */home* de jenkins se trouve dans:
|
||
|
||
~~~
|
||
/var/lib/jenkins/
|
||
~~~
|
||
|
||
Il faut créer par exemple la clé ssh de jenkins dans ce répertoire, en se connectant avec l'utilisateur jenkins en faisant:
|
||
|
||
~~~
|
||
su - jenkins
|
||
~~~
|
||
|
||
Puis générer la clé SSH.
|
||
|