diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-10 10:00:37 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-10 10:00:37 -0700 |
commit | 006690c54f5c65f810ac20c176e921e69304a2c5 (patch) | |
tree | 646f44198c4d40a4234013bff7b4f3f10df1e60b /.ssh | |
parent | 566bed7689af1f5a53c640a1acba71ad56e27644 (diff) | |
download | dotfiles-006690c54f5c65f810ac20c176e921e69304a2c5.tar.gz |
use the new SSH jump hosts for debian.org hosts
Diffstat (limited to '.ssh')
-rw-r--r-- | .ssh/config | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.ssh/config b/.ssh/config index ba383c0e..503cdc52 100644 --- a/.ssh/config +++ b/.ssh/config @@ -34,10 +34,12 @@ User spw ### Debian hosts -Host alioth | git.debian.org -HostName git.debian.org +Host *.debian.org !*.ssh.debian.org !ssh.debian.org +User spwhitton +ProxyJump ssh.debian.org +# ^ or: {na,eu}.ssh.debian.org -Host *.debian.org *.debian.net +Host *.debian.net User spwhitton ### my hosts |