From 8fd5577e6026d9e8b210012c2874a0fc0c0b0078 Mon Sep 17 00:00:00 2001 From: Daniel Jakots Date: Tue, 9 May 2017 16:54:41 -0400 Subject: [PATCH] pas la peine de prendre les gens par la main non plus --- HowtoJenkins.md | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/HowtoJenkins.md b/HowtoJenkins.md index 31b6a520..2955b3b6 100644 --- a/HowtoJenkins.md +++ b/HowtoJenkins.md @@ -30,18 +30,12 @@ apt install jenkins # *Configuration* -Par défaut Jenkins utilise le port 8080, pour modifier cela, il faut modifier le fichier /etc/default/jenkins et remplacer la ligne suivante: +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 ~~~ -Par le port souhaité. - -~~~ -HTTP_PORT=XXXX -~~~ - Le */home* de jenkins se trouve dans: ~~~