aboutsummaryrefslogtreecommitdiff
path: root/.ssh/config
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2019-01-29 14:20:14 -0500
committerRyan Kavanagh <rak@debian.org>2019-01-29 14:20:14 -0500
commitc20a5d6e70d066f1a260168d7d3af727b7298d8a (patch)
tree372a6e397af9257be6e455a5d5e710a511942e98 /.ssh/config
parentjohn wilson goes into bagpipes (diff)
use proxyhost for debian.org
Diffstat (limited to '')
-rw-r--r--.ssh/config6
1 files changed, 5 insertions, 1 deletions
diff --git a/.ssh/config b/.ssh/config
index 858487e..096c08c 100644
--- a/.ssh/config
+++ b/.ssh/config
@@ -6,7 +6,11 @@ NoHostAuthenticationForLocalhost yes
## Debian hosts
Host *.debian.net
User rak
-Host *.debian.org master ravel alioth
+Host ssh.debian.org *.ssh.debian.org
+ User rak
+ StrictHostKeyChecking yes
+ UserKnownHostsFile ~/.ssh/known_hosts.d/debian
+Host *.debian.org master ravel alioth !*.ssh.debian.org !ssh.debian.org
User rak
ProxyJump ssh.debian.org
StrictHostKeyChecking yes