Browse Source

pas la peine de prendre les gens par la main non plus

master
Daniel Jakots 3 years ago
parent
commit
8fd5577e60
1 changed files with 1 additions and 7 deletions
  1. +1
    -7
      HowtoJenkins.md

+ 1
- 7
HowtoJenkins.md View File

@@ -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:

~~~


Loading…
Cancel
Save