summaryrefslogtreecommitdiff
path: root/.ssh
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2018-11-10 10:27:48 -0700
committerSean Whitton <spwhitton@spwhitton.name>2018-11-10 10:27:48 -0700
commitffa1f7221b98c29dada75dd00c436a60805b6fc3 (patch)
treeaf829aa31e68f6c506ebeb823b9318c8fee66f5d /.ssh
parent6cabbd1ad1e698d1ce6cce0ae1e4130088f00809 (diff)
downloaddotfiles-ffa1f7221b98c29dada75dd00c436a60805b6fc3.tar.gz
ensure that host key checking applies to ssh.d.o too
Diffstat (limited to '.ssh')
-rw-r--r--.ssh/config5
1 files changed, 4 insertions, 1 deletions
diff --git a/.ssh/config b/.ssh/config
index 3ec5fb19..dfaa0f2b 100644
--- a/.ssh/config
+++ b/.ssh/config
@@ -35,10 +35,13 @@ User spw
### Debian hosts
Host *.debian.org !*.ssh.debian.org !ssh.debian.org
-User spwhitton
ProxyJump ssh.debian.org
# ^ or: {na,eu}.ssh.debian.org
+
+Host *.debian.org
+User spwhitton
UserKnownHostsFile ~/.ssh/known_hosts_debian
+StrictHostKeyChecking yes
Host *.debian.net
User spwhitton