Skip to content
GitLab
Switch branch/tag
  1. 09 May, 2018 1 commit
  3. 07 Apr, 2018 4 commits
  5. 14 Dec, 2017 1 commit
    • Mattia Rizzolo's avatar
      define JENKINS_HOME before using it · df15e48c
      Mattia Rizzolo authored 
      

all those "log gc" options never really worked because JENKINS_HOME was
not defined and so leaded only to messages like
    OpenJDK 64-Bit Server VM warning: Cannot open file /gc-2017-12-11_17-04-12.log due to Permission denied
during startup.

While on it also move them into a subdirectory.

Signed-off-by: Mattia Rizzolo's avatarMattia Rizzolo <mattia@debian.org>
      df15e48c
  7. 19 Jul, 2017 1 commit
  9. 23 Dec, 2016 3 commits
  11. 08 Sep, 2016 1 commit
  13. 19 Jul, 2016 2 commits
  15. 28 Nov, 2015 1 commit
  17. 27 Nov, 2015 2 commits
  19. 01 Sep, 2015 1 commit
  21. 27 Jul, 2015 1 commit
  23. 01 Mar, 2015 1 commit
    • Helmut Grohne's avatar
      change jenkins' umask to 022 · 35ee25cf
      Helmut Grohne authored 
      Previously, the umask was not correctly propagated to jenkins by the
init script, so this setting was ineffective. Now it changed to 027
breaking at least rebootstrap jobs by turning
/etc/apt/apt.conf.d/80proxy to -rw-r----- in chroot-run.sh.
      35ee25cf
  25. 31 Oct, 2014 1 commit
  27. 02 Oct, 2014 1 commit
  29. 25 Jul, 2013 1 commit