nomad

commit e9265a00fc6680c7ffe8e573c94323a387b5eaf6
parent c9eac5ed44e6178c7a949370ba87c1203e169902
Author: Andreas Gruhler <agruhl@gmx.ch>
Date:   Sun, 24 Aug 2025 13:16:52 +0200

feat(jenkins): dark theme

Diffstat:
M
hcl/default/jenkins/jenkins.nomad
 | 
2
++
M
hcl/default/jenkins/templates/jenkins.yaml.tmpl
 | 
8
+++++++-

2 files changed, 9 insertions(+), 1 deletion(-)
diff --git a/hcl/default/jenkins/jenkins.nomad b/hcl/default/jenkins/jenkins.nomad
@@ -57,6 +57,8 @@ job "jenkins" {
           "pipeline-utility-steps",
           "docker-workflow", # spawn Jenkins agents in Nomad jobs
           #"docker-plugin", # spawn Jenkins agents in Docker containers
+          "theme-manager",
+          "dark-theme",
           "--plugin-download-directory",
           "/var/jenkins_home/plugins",
         ]
diff --git a/hcl/default/jenkins/templates/jenkins.yaml.tmpl b/hcl/default/jenkins/templates/jenkins.yaml.tmpl
@@ -103,7 +103,7 @@ jenkins:
                           "/home/jenkins/workspace:/home/jenkins/workspace"
                         ],
                         "force_pull": true,
-                        "image": "127.0.0.1:5000/jenkins-inbound-agent:3327.v868139a_d00e0-v4"
+                        "image": "127.0.0.1:5000/jenkins-inbound-agent:3327.v868139a_d00e0-v9"
                       },
                       "Env": {
                         "REMOTING_OPTS": "-url http://{{ env "NOMAD_ADDR_jenkins" }} -name %WORKER_NAME% -secret %WORKER_SECRET% -tunnel {{ env "NOMAD_ADDR_jnlp" }}",
@@ -154,3 +154,9 @@ jenkins:
   #      name: "alpine-jdk21"
   #      pullTimeout: 171
   #      remoteFs: "/home/jenkins/agent"
+
+# https://github.com/jenkinsci/theme-manager-plugin
+appearance:
+  themeManager:
+    disableUserThemes: false
+    theme: "dark"