diff options
author | Igor Pashev <pashev.igor@gmail.com> | 2016-10-16 22:51:42 +0300 |
---|---|---|
committer | Igor Pashev <pashev.igor@gmail.com> | 2016-10-16 22:51:45 +0300 |
commit | 9a53cc7130bb7086fa64ee9b6c9b504a1eee3032 (patch) | |
tree | 79769d369af8920ba8be068fa6f016b3325976cf | |
parent | 04253856ed906130613d47a73f2eda95f77b0518 (diff) | |
download | nixsap-9a53cc7130bb7086fa64ee9b6c9b504a1eee3032.tar.gz |
jenkins: set java.io.tmpdir
jetty is used to spamming into tmpdir
-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))} |