X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/2faea1dab899aa04836fba58f63e5df83552793a..7386656a29fd66d2fc65756ab77563939c1229a5:/.ssh/config.in diff --git a/.ssh/config.in b/.ssh/config.in index 4755c85..00e06c3 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 @@ -55,7 +59,9 @@ Host madduck.net HostKeyAlias seamus.madduck.net Host tunes.madduck.net | tunes - Hostname bell.madduck.net + AddressFamily inet + ControlMaster no + Hostname tunes.madduck.net HostKeyAlias bell.madduck.net Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail @@ -89,7 +95,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 +108,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 +136,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,7 +148,7 @@ 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 @@ -171,6 +177,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 @@ -349,9 +358,8 @@ Host smetana.debian.org | smetana Host strauss.debian.net | strauss Hostname strauss.debian.net User madduck - -Host cvs.debian.org - HostKeyAlias gluck.debian.org +Host bellini.debian.org | bellini + Hostname bellini.debian.org User madduck Host people.debian.org