From 9f5941c2be5e047f26f3e4305ef0d27ca1453efc Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 16 Jun 2023 12:00:54 +0200
Subject: [PATCH] Set the name of the slurm cluster to jungle

---
 m/common/slurm.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/m/common/slurm.nix b/m/common/slurm.nix
index c208b88..650156f 100644
--- a/m/common/slurm.nix
+++ b/m/common/slurm.nix
@@ -4,7 +4,7 @@
   services.slurm = {
     client.enable = true;
     controlMachine = "hut";
-    clusterName = "owl";
+    clusterName = "jungle";
     nodeName = [
       "owl[1,2]  Sockets=2 CoresPerSocket=14 ThreadsPerCore=2 Feature=owl"
       "hut       Sockets=2 CoresPerSocket=14 ThreadsPerCore=2"