diff --git a/HowtoJenkins.md b/HowtoJenkins.md index 47a8df1e..46270efd 100644 --- a/HowtoJenkins.md +++ b/HowtoJenkins.md @@ -74,7 +74,7 @@ Il faut ensuite mettre la configuration suivant dans */etc/default/jenkins* : JAVA_ARGS="$JAVA_ARGS -Djava.io.tmpdir=/var/lib/jenkins/tmp/" ~~~ -Pour le que dossier *tmp* soit vider au redémarrage de la machine, comme un vrai dossier /tmp, il faut le monter en *tmpfs* dans */etc/fstab* : +Pour le que dossier *tmp* soit vidé au redémarrage de la machine, comme un vrai dossier /tmp, il faut le monter en *tmpfs* dans */etc/fstab* : ~~~ tmpfs /var/lib/jenkins/tmp tmpfs defaults,nosuid,nodev,size=1024m 0 0