From e05012e6c28277fb6cb34ed1312bd04bd65bce23 Mon Sep 17 00:00:00 2001 From: dprevot Date: Thu, 10 Mar 2022 16:44:42 +0100 Subject: [PATCH] tfix --- HowtoJenkins.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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