diff options
Diffstat (limited to 'private_dot_ssh')
| -rw-r--r-- | private_dot_ssh/config.tmpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/private_dot_ssh/config.tmpl b/private_dot_ssh/config.tmpl index 230d967..d065a3c 100644 --- a/private_dot_ssh/config.tmpl +++ b/private_dot_ssh/config.tmpl @@ -6,7 +6,7 @@ NoHostAuthenticationForLocalhost yes ## Debian hosts Host master Hostname %h.debian.org -Host *.debian.org master !*.ssh.debian.org !ssh.debian.org +Host *.debian.org *.debian.net master !*.ssh.debian.org !ssh.debian.org ProxyJump ssh.debian.org Match final host *.debian.org UserKnownHostsFile ~/.ssh/known_hosts.d/debian |
