fix: remove keys from git and share keys at toplevel

This commit is contained in:
Jonas Juselius
2025-09-27 16:13:16 +02:00
parent 799cb6cae1
commit be13a10c8f
5 changed files with 6 additions and 10 deletions

View File

@@ -148,9 +148,9 @@ let
clusterName = "ekman";
controlMachine = "ekman-manage";
dbdHost = "10.255.241.15";
mungeKey = ./munge.key;
jwtKey = ./jwt_hs256.key;
slurmKey = ./slurm.key;
mungeKey = ../munge.key;
jwtKey = ../jwt_hs256.key;
slurmKey = ../slurm.key;
# pkey = "0x7666";
mailDomain = "oceanbox.io";
nodeName = [