X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/de2f4f923ac0c3841f2f6c15c64433ca842e816b..c49c48de6dd74c66a4516fbd129fd7616bf7d380:/.ssh/config.in diff --git a/.ssh/config.in b/.ssh/config.in index dbc8336..3f33643 100644 --- a/.ssh/config.in +++ b/.ssh/config.in @@ -7,19 +7,40 @@ Host 127.0.0.1 | localhost Host pulse.madduck.net | pulse ForwardAgent yes Hostname pulse.madduck.net + #AddressFamily inet Host svn.madduck.net | svn User madduck HostKeyAlias pulse.madduck.net Host git.madduck.net | git User madduck HostKeyAlias pulse.madduck.net + #AddressFamily inet Host scratch.madduck.net | scratch User madduck HostKeyAlias pulse.madduck.net + #AddressFamily inet Host debian.madduck.net | debian User madduck HostKeyAlias pulse.madduck.net + #AddressFamily inet +Host openvpn.madduck.net | openvpn + User madduck + HostKeyAlias pulse.madduck.net + #AddressFamily inet +Host ssh443.madduck.net | ssh443 + User madduck + HostKeyAlias pulse.madduck.net + ForwardAgent yes + Port 443 + #AddressFamily inet +Host khyber.madduck.net | khyber + ForwardAgent yes + Hostname khyber.madduck.net + +Host martin-krafft.net + User madduck + HostKeyAlias seamus.madduck.net Host phd.martin-krafft.net User madduck HostKeyAlias seamus.madduck.net @@ -28,16 +49,92 @@ Host madduck.net HostKeyAlias seamus.madduck.net Host tunes.madduck.net | tunes + Hostname bell.madduck.net HostKeyAlias bell.madduck.net + AddressFamily inet -Host lapse.madduck.net | lapse.oerlikon.madduck.net | lapse +Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail + Hostname sheep.umverkehr.ch + User madduck + +Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse CheckHostIP no + ForwardAgent yes + ForwardX11 yes +# AddressFamily inet -Host wall.madduck.net | wall.oerlikon.madduck.net | oerlikon.no-up.org | wall +Host wall.oerlikon.madduck.net | wall CheckHostIP no + ForwardAgent yes + Hostname wall.oerlikon.madduck.net + HostKeyAlias wall.oerlikon.madduck.net -Host embryo.madduck.net | embryo.gauting.madduck.net | gauting.no-ip.org | embryo +Host embryo.gauting.madduck.net | embryo CheckHostIP no + ForwardAgent yes + Hostname embryo.gauting.madduck.net + HostKeyAlias embryo.gauting.madduck.net + +Host piper.oerlikon.madduck.net | piper + Hostname piper.oerlikon.madduck.net + ForwardAgent yes + ForwardX11 yes +# AddressFamily inet +Host pipere + Hostname wall.madduck.net + Port 22223 + CheckHostIP no + ForwardAgent yes + ForwardX11 yes + HostKeyAlias piper.oerlikon.madduck.net + +Host diamond.oerlikon.madduck.net | diamond + Hostname diamond.oerlikon.madduck.net + ForwardAgent yes + ForwardX11 yes +# AddressFamily inet +Host diamonde + Hostname wall.madduck.net + Port 22224 + CheckHostIP no + ForwardAgent yes + ForwardX11 yes + HostKeyAlias diamond.oerlikon.madduck.net + +Host pict.oerlikon.madduck.net | pict + Hostname pict.oerlikon.madduck.net + ForwardAgent yes + ForwardX11 yes +# AddressFamily inet + +Host lust.oerlikon.madduck.net | lust | hermia + HostKeyAlias hermia.mjollnir.org + ForwardX11 yes + CheckHostIP no + +Host mother.gauting.madduck.net | mother + Hostname mother.gauting.madduck.net + ForwardAgent yes + ForwardX11 yes +Host mothere + Hostname embryo.madduck.net + Port 22221 + CheckHostIP no + ForwardAgent yes + ForwardX11 yes + HostKeyAlias mother.gauting.madduck.net + +Host brick.gauting.madduck.net | brick + Hostname brick.gauting.madduck.net + ForwardAgent yes + ForwardX11 yes +Host bricke + Hostname embryo.madduck.net + Port 22222 + CheckHostIP no + ForwardAgent yes + ForwardX11 yes + HostKeyAlias brick.gauting.madduck.net Host debian-community.org | bikeshed.debian-community.org | bikeshed Hostname bikeshed.debian-community.org @@ -50,14 +147,14 @@ Host alioth.debian.org | alioth User madduck Host svn.debian.org HostKeyAlias alioth.debian.org + User madduck Host git.debian.org HostKeyAlias alioth.debian.org + User madduck Host hg.debian.org HostKeyAlias alioth.debian.org - -Host vore.debian.org | vore - Hostname vore.debian.org User madduck + Host malo.debian.org | malo Hostname malo.debian.org User madduck @@ -73,9 +170,6 @@ Host saens.debian.org | saens Host spohr.debian.org | spohr Hostname spohr.debian.org User madduck -Host auric.debian.org | auric - Hostname auric.debian.org - User madduck Host gluck.debian.org | gluck Hostname gluck.debian.org User madduck @@ -88,12 +182,6 @@ Host sarti.debian.org | sarti Host europa.debian.org | europa Hostname europa.debian.org User madduck -Host goedel.debian.org | goedel - Hostname goedel.debian.org - User madduck -Host casals.debian.org | casals - Hostname casals.debian.org - User madduck Host master.debian.org | master Hostname master.debian.org User madduck @@ -109,9 +197,6 @@ Host merkel.debian.org | merkel Host murphy.debian.org | murphy Hostname murphy.debian.org User madduck -Host escher.debian.org | escher - Hostname escher.debian.org - User madduck Host raptor.debian.org | raptor Hostname raptor.debian.org User madduck @@ -124,9 +209,6 @@ Host raff.debian.org | raff Host klecker.debian.org | klecker Hostname klecker.debian.org User madduck -Host vaughan.debian.org | vaughan - Hostname vaughan.debian.org - User madduck Host voltaire.debian.org | voltaire Hostname voltaire.debian.org User madduck @@ -136,9 +218,6 @@ Host bruckner.debian.org | bruckner Host kullervo.debian.org | kullervo Hostname kullervo.debian.org User madduck -Host kullervo.debian.org | kullervo - Hostname kullervo.debian.org - User madduck Host samosa.debian.org | samosa Hostname samosa.debian.org User madduck @@ -175,6 +254,9 @@ Host peri.debian.org | peri Host lobos.debian.org | lobos Hostname lobos.debian.org User madduck +Host wagner.debian.org | wagner + Hostname wagner.debian.org + User madduck Host verdi.debian.org | verdi Hostname verdi.debian.org User madduck @@ -184,6 +266,9 @@ Host ries.debian.org | ries Host goetz.debian.org | goetz Hostname goetz.debian.org User madduck +Host ravel.debian.org | ravel + Hostname ravel.debian.org + User madduck Host rietz.debian.org | rietz Hostname rietz.debian.org User madduck @@ -223,6 +308,46 @@ Host argento.debian.org | argento Host allegri.debian.org | allegri Hostname allegri.debian.org User madduck +Host morales.debian.org | morales + Hostname morales.debian.org + User madduck +Host auber.debian.org | auber + Hostname auber.debian.org + User madduck +Host mahler.debian.org | mahler + Hostname mahler.debian.org + User madduck +Host schroeder.debian.org | schroeder + Hostname schroeder.debian.org + User madduck +Host powell.debian.org | powell + Hostname powell.debian.org + User madduck +Host rem.debian.org | rem + Hostname rem.debian.org + User madduck +Host smetana.debian.org | smetana + Hostname smetana.debian.org + User madduck + +Host cvs.debian.org + HostKeyAlias gluck.debian.org + User madduck + +Host people.debian.org + HostKeyAlias ravel.debian.org + User madduck + +Host sergei.ifi.uzh.ch | sergei + Hostname sergei.ifi.uzh.ch + User krafft +Host nikolai.ifi.uzh.ch | nikolai + Hostname nikolai.ifi.uzh.ch + User krafft + +Host gratis2.opro.ch | opro + Hostname 193.242.105.2 + User madduck Host * # AddressFamily any @@ -271,7 +396,7 @@ Host * # RhostsRSAAuthentication no # RSAAuthentication no # ServerAliveCountMax 3 -# ServerAliveInterval 45 + ServerAliveInterval 45 SetupTimeOut 10 # SmartcardDevice off StrictHostKeyChecking yes @@ -281,4 +406,5 @@ Host * # UsePrivilegedPort no # UserKnownHostsFile ~/.ssh/known_hosts # VerifyHostKeyDNS no + VisualHostKey no # XAuthLocation /usr/X11R6/bin/xauth