fix bad ssh jumphost

This commit is contained in:
CDaut 2025-11-23 17:26:15 +01:00
parent abad8b586e
commit de1a4e71dc
Signed by: clara
GPG key ID: 223391B52FAD4463
2 changed files with 25 additions and 21 deletions

View file

@ -126,27 +126,30 @@ in
enable = true;
enableDefaultConfig = false;
matchBlocks = {
"infra.cdaut.de" = {
hostname = "infra.cdaut.de";
user = "clara";
forwardAgent = true;
};
"10.0.0.*" = {
proxyJump = "infra.cdaut.de";
};
"*" = {
forwardAgent = true;
addKeysToAgent = "no";
compression = false;
serverAliveInterval = 0;
serverAliveCountMax = 3;
hashKnownHosts = false;
userKnownHostsFile = "~/.ssh/known_hosts";
controlMaster = "no";
controlPath = "~/.ssh/master-%r@%n:%p";
controlPersist = "no";
};
"infra.cdaut.de" = {
hostname = "infra.cdaut.de";
user = "clara";
forwardAgent = true;
};
"10.0.0.*" = {
proxyJump = "netcup.infra.cdaut.de";
};
"10.10.*.*" = {
proxyJump = "cube.infra.cdaut.de";
};
"*" = {
forwardAgent = true;
addKeysToAgent = "no";
compression = false;
serverAliveInterval = 0;
serverAliveCountMax = 3;
hashKnownHosts = false;
userKnownHostsFile = "~/.ssh/known_hosts";
controlMaster = "no";
controlPath = "~/.ssh/master-%r@%n:%p";
controlPersist = "no";
};
};
};