X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/4a990857d5f8ba6b53767155d57c876422b4b63b..12654a21a91089a5e91c803a751348d5666972bc:/.ssh/config.in?ds=inline diff --git a/.ssh/config.in b/.ssh/config.in index 5806f9a..02ad65b 100644 --- a/.ssh/config.in +++ b/.ssh/config.in @@ -44,6 +44,10 @@ Host lotus.madduck.net | lotus ForwardAgent yes Hostname lotus.madduck.net +Host jugband.madduck.net | jugband + ForwardAgent yes + Hostname jugband.madduck.net + Host martin-krafft.net User madduck HostKeyAlias seamus.madduck.net @@ -89,7 +93,7 @@ Host piper.oerlikon.madduck.net | piper ForwardX11 yes # AddressFamily inet Host pipere - Hostname wall.madduck.net + Hostname wall.oerlikon.madduck.net Port 22223 CheckHostIP no ForwardAgent yes @@ -102,7 +106,7 @@ Host diamond.oerlikon.madduck.net | diamond ForwardX11 yes # AddressFamily inet Host diamonde - Hostname wall.madduck.net + Hostname wall.oerlikon.madduck.net Port 22224 CheckHostIP no ForwardAgent yes @@ -130,7 +134,7 @@ Host mother.gauting.madduck.net | mother ForwardAgent yes ForwardX11 yes Host mothere - Hostname embryo.madduck.net + Hostname embryo.gauting.madduck.net Port 22221 CheckHostIP no ForwardAgent yes @@ -142,13 +146,17 @@ Host brick.gauting.madduck.net | brick ForwardAgent yes ForwardX11 yes Host bricke - Hostname embryo.madduck.net + Hostname embryo.gauting.madduck.net Port 22222 CheckHostIP no ForwardAgent yes ForwardX11 yes HostKeyAlias brick.gauting.madduck.net +Host zlinli.no-ip.org | zlinli + CheckHostIP no + Hostname zlinli.no-ip.org + Host debian-community.org | bikeshed.debian-community.org | bikeshed Hostname bikeshed.debian-community.org User madduck @@ -167,6 +175,9 @@ Host git.debian.org Host hg.debian.org HostKeyAlias alioth.debian.org User madduck +Host cvs.debian.org + HostKeyAlias alioth.debian.org + User madduck Host malo.debian.org | malo Hostname malo.debian.org @@ -342,9 +353,11 @@ Host rem.debian.org | rem Host smetana.debian.org | smetana Hostname smetana.debian.org User madduck - -Host cvs.debian.org - HostKeyAlias gluck.debian.org +Host strauss.debian.net | strauss + Hostname strauss.debian.net + User madduck +Host bellini.debian.org | bellini + Hostname bellini.debian.org User madduck Host people.debian.org