diff options
| -rw-r--r-- | modules/apps/jenkins/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/modules/apps/jenkins/default.nix b/modules/apps/jenkins/default.nix index 754186a..1af93f2 100644 --- a/modules/apps/jenkins/default.nix +++ b/modules/apps/jenkins/default.nix @@ -40,6 +40,7 @@ let else "--${n}=${toString v}"; path = ".war.path"; + tmpdir = "${cfg.home}/tmp"; startJenkins = pkgs.writeBashScript "jenkins-${name}-start" '' set -euo pipefail @@ -91,8 +92,11 @@ let echo '${cfg.war}' > ${path} fi + rm -rf -- '${tmpdir}' + mkdir -p -- '${tmpdir}' exec ${cfg.jre}/bin/java \ -DJENKINS_HOME='${cfg.home}' \ + -Djava.io.tmpdir='${tmpdir}' \ -jar '${cfg.war}' \ ${concatStringsSep " \\\n " ( mapAttrsToList mkOpt (explicit cfg.options))} |