fix: /work mount

This commit is contained in:
2025-09-13 07:31:45 +02:00
parent 14b5f07cc6
commit 4057a00143
2 changed files with 5 additions and 5 deletions

View File

@@ -239,19 +239,19 @@ let
programs.ssh.knownHosts = { programs.ssh.knownHosts = {
rossby-manage = { rossby-manage = {
hostNames = [ hostNames = [
"manage" "manage.compute.local" "rossby-manage.oceanbox.io" "172.16.239.221" "10.1.6.221" "manage" "manage.cluster.local" "rossby-manage.oceanbox.io" "172.16.239.221" "10.1.6.221"
]; ];
publicKeyFile = ./manage/ssh_host_key.pub; publicKeyFile = ./manage/ssh_host_key.pub;
}; };
rossby-login = { rossby-login = {
hostNames = [ hostNames = [
"rossby" "rossby-login" "rossby-login.compute.local" "rossby.compute.local" "rossby.oceanbox.io" "172.16.239.222" "10.1.6.222" "rossby" "rossby-login" "rossby-login.cluster.local" "rossby.cluster.local" "rossby.oceanbox.io" "172.16.239.222" "10.1.6.222"
]; ];
publicKeyFile = ./login/ssh_host_key.pub; publicKeyFile = ./login/ssh_host_key.pub;
}; };
fs-work = { fs-work = {
hostNames = [ hostNames = [
"fs-work" "fs-work.compute.local" "172.16.239.201" "10.1.6.210" "fs-work" "fs-work.cluster.local" "172.16.239.201"
]; ];
publicKeyFile = ./fs-work/ssh_host_key.pub; publicKeyFile = ./fs-work/ssh_host_key.pub;
}; };
@@ -261,7 +261,7 @@ let
"${x.name}" = { "${x.name}" = {
hostNames = [ hostNames = [
"${x.name}" "${x.name}"
"${x.name}.compute.local" "${x.name}.cluster.local"
"172.16.239.${n}" "172.16.239.${n}"
"10.1.6.${n}" "10.1.6.${n}"
]; ];

View File

@@ -54,7 +54,7 @@ let
work = work =
if cfg.work then { if cfg.work then {
"/work" = { "/work" = {
device = "10.1.6.210:/work"; device = if cfg.rdma.enable then "10.1.6.210:/work" else "172.16.239.210:/work";
fsType = "nfs4"; fsType = "nfs4";
options = options ++ (if cfg.rdma.enable then [ "rdma" ] else []); options = options ++ (if cfg.rdma.enable then [ "rdma" ] else []);
}; };