X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/9090e29703000656f68f0c725353d542e15f091d..ce6ddcc1d430ac78bbbcae1ee129249eca3dd14b:/.ssh/config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index 5801a83..f93c263 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -7,18 +7,78 @@ 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
+Host debian.madduck.net | debian
   User madduck
   HostKeyAlias pulse.madduck.net
-Host scratch.madduck.net | scratch
+  #AddressFamily inet
+Host openvpn.madduck.net | openvpn
   User madduck
   HostKeyAlias pulse.madduck.net
-Host debian.madduck.net | debian
-  User madduck
+  #AddressFamily inet
+Host backup.madduck.net | backup
   HostKeyAlias pulse.madduck.net
+  #AddressFamily inet
+
+Host khyber.madduck.net | khyber
+  ForwardAgent yes
+  Hostname khyber.madduck.net
+Host khyber-vnc
+  ControlMaster no
+  ControlPath none
+  Hostname khyber.madduck.net
+
+Host wots.madduck.net | wots
+  ForwardAgent yes
+  Hostname wots.madduck.net
+Host buildd.debian.madduck.net | buildd
+  HostKeyAlias wots.madduck.net
+
+Host lotus.madduck.net | lotus
+  ForwardAgent yes
+  Hostname lotus.madduck.net
+Host git.madduck.net | git
+  User git
+  HostKeyAlias lotus.madduck.net
+Host git.debian.ch
+  User git
+  HostKeyAlias lotus.madduck.net
+
+Host sysyphus.madduck.net | sysyphus
+  ForwardAgent yes
+  Hostname sysyphus.madduck.net
+Host ssh443.madduck.net | ssh443
+  User madduck
+  HostKeyAlias sysyphus.madduck.net
+  ForwardAgent yes
+  Port 443
+
+Host jugband.madduck.net | jugband
+  ForwardAgent yes
+  Hostname jugband.madduck.net
+
+Host vera.madduck.net | vera
+  ForwardAgent yes
+  Hostname vera.madduck.net
+
+Host swan-host | swan-host.madduck.net
+  Hostname swan-host.madduck.net
+  User krafft
+
+Host swan.madduck.net | swan
+  ForwardAgent yes
+  Hostname swan.madduck.net
+
+Host domine.madduck.net | domine
+  ForwardAgent yes
+  Hostname domine.madduck.net
+
+Host irc
+  Hostname vera.madduck.net
+  ConnectTimeout 60
 
 Host martin-krafft.net
   User madduck
@@ -29,70 +89,128 @@ Host phd.martin-krafft.net
 Host madduck.net
   User madduck
   HostKeyAlias seamus.madduck.net
+Host imap.madduck.net
+  HostKeyAlias seamus.madduck.net
 
+Host diamond.madduck.net | diamond
+  ForwardAgent yes
+  Hostname diamond.madduck.net
 Host tunes.madduck.net | tunes
-  Hostname bell.madduck.net
-  HostKeyAlias bell.madduck.net
+  AddressFamily inet
+  ControlMaster no
+  Hostname tunes.madduck.net
+  HostKeyAlias diamond.madduck.net
+Host flics.madduck.net | flics
+  AddressFamily inet
+  ControlMaster no
+  Hostname flics.madduck.net
+  HostKeyAlias diamond.madduck.net
+Host scratch.madduck.net | scratch
+  User madduck
+  HostKeyAlias diamond.madduck.net
+
+Host shelter.madduck.net | shelter
+  ForwardAgent yes
+  Hostname shelter.madduck.net
 
-Host lapse.rw.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.gern.madduck.net | lapse
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
-#  AddressFamily inet
 
-Host wall.oerlikon.madduck.net | oerlikon.no-ip.org | wall
+Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
   CheckHostIP no
   ForwardAgent yes
-#  AddressFamily inet
+  ForwardX11 yes
 
-Host embryo.madduck.net | embryo.gauting.madduck.net | gauting.no-ip.org | embryo
+Host wall.gern.madduck.net | wall
   CheckHostIP no
   ForwardAgent yes
+  Hostname wall.gern.madduck.net
 
-Host piper.oerlikon.madduck.net | piper
-  Hostname piper.oerlikon.madduck.net
+Host julia.gern.madduck.net | julia
+  Hostname julia.gern.madduck.net
+  ForwardAgent yes
+Host juliae
+  Hostname wall.gern.madduck.net
+  Port 22002
+  CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
-#  AddressFamily inet
-Host pipere
-  Hostname wall.madduck.net
-  Port 22223
+  HostKeyAlias julia.gern.madduck.net
+
+Host embryo.gauting.madduck.net | embryo
   CheckHostIP no
   ForwardAgent yes
+  Hostname embryo.gauting.madduck.net
+  HostKeyAlias embryo.gauting.madduck.net
+
+Host piper.gern.madduck.net | piper
+  Hostname piper.gern.madduck.net
+  ForwardAgent yes
   ForwardX11 yes
-  HostKeyAlias piper.oerlikon.madduck.net
 
-Host diamond.oerlikon.madduck.net | diamond
-  Hostname diamond.oerlikon.madduck.net
+Host albatross.gern.madduck.net | albatross
+  Hostname albatross.gern.madduck.net
   ForwardAgent yes
   ForwardX11 yes
-#  AddressFamily inet
-Host diamonde
-  Hostname wall.madduck.net
-  Port 22224
+Host albatrosse
+  Hostname wall.gern.madduck.net
+  Port 22032
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
-  HostKeyAlias diamond.oerlikon.madduck.net
+  HostKeyAlias albatross.gern.madduck.net
 
-Host pict.oerlikon.madduck.net | pict
-  Hostname pict.oerlikon.madduck.net
+Host pict.gern.madduck.net | pict
+  Hostname pict.gern.madduck.net
   ForwardAgent yes
   ForwardX11 yes
 #  AddressFamily inet
 
-Host mother.gauting.madduck.net | mother
-  Hostname mother.gauting.madduck.net
+Host nokia-n900.gern.madduck.net | nokia-n900 | n900
+  CheckHostIP no
+  ForwardAgent yes
+  ForwardX11 yes
+  User user
+
+Host auge-fr.no-ip.org | auge
+  CheckHostIP no
+  Hostname auge-fr.no-ip.org
+  HostKeyAlias helena.home.mjollnir.org
+
+Host mother.gauting | mother | mother.gauting.madduck.net
+  Hostname mother.gauting
   ForwardAgent yes
   ForwardX11 yes
 Host mothere
-  Hostname embryo.madduck.net
+  Hostname embryo.gauting.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.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
@@ -100,182 +218,145 @@ Host debian-community.org | bikeshed.debian-community.org | bikeshed
   ForwardX11 no
 
 Host alioth.debian.org | alioth
-  Hostname alioth.debian.org
+  hostKeyAlias wagner.debian.org
   User madduck
+
 Host svn.debian.org
-  HostKeyAlias alioth.debian.org
+  HostKeyAlias vasks.debian.org
+  User madduck
 Host git.debian.org
-  HostKeyAlias alioth.debian.org
+  HostKeyAlias vasks.debian.org
+  User madduck
 Host hg.debian.org
-  HostKeyAlias alioth.debian.org
-
-Host vore.debian.org | vore
-  Hostname vore.debian.org
+  HostKeyAlias vasks.debian.org
   User madduck
-Host malo.debian.org | malo
-  Hostname malo.debian.org
+Host cvs.debian.org
+  HostKeyAlias vasks.debian.org
   User madduck
-Host paer.debian.org | paer
-  Hostname paer.debian.org
+
+Host abel.debian.org | abel
+  Hostname abel.debian.org
   User madduck
-Host crest.debian.org | crest
-  Hostname crest.debian.org
+Host agricola.debian.org | agricola
+  Hostname agricola.debian.org
+  User madduck
+Host albeniz.debian.org | albeniz
+  Hostname albeniz.debian.org
   User madduck
-Host saens.debian.org | saens
-  Hostname saens.debian.org
+Host asdfasdf.debian.net | asdfasdf
+  Hostname asdfasdf.debian.net
   User madduck
-Host spohr.debian.org | spohr
-  Hostname spohr.debian.org
+Host busoni.debian.org | busoni
+  Hostname busoni.debian.org
   User madduck
-Host auric.debian.org | auric
-  Hostname auric.debian.org
+Host cilea.debian.org | cilea
+  Hostname cilea.debian.org
   User madduck
-Host gluck.debian.org | gluck
-  Hostname gluck.debian.org
+Host duarte.debian.org | duarte
+  Hostname duarte.debian.org
   User madduck
-Host elara.debian.org | elara
-  Hostname elara.debian.org
+Host dukas.debian.org | dukas
+  Hostname dukas.debian.org
   User madduck
-Host sarti.debian.org | sarti
-  Hostname sarti.debian.org
+Host glinka.debian.org | glinka
+  Hostname glinka.debian.org
   User madduck
-Host europa.debian.org | europa
-  Hostname europa.debian.org
+Host grieg.debian.org | grieg
+  Hostname grieg.debian.org
   User madduck
-Host goedel.debian.org | goedel
-  Hostname goedel.debian.org
+Host io.debian.net | io
+  Hostname io.debian.net
   User madduck
-Host casals.debian.org | casals
-  Hostname casals.debian.org
+Host lindberg.debian.org | lindberg
+  Hostname lindberg.debian.org
   User madduck
 Host master.debian.org | master
   Hostname master.debian.org
   User madduck
-Host bartok.debian.org | bartok
-  Hostname bartok.debian.org
-  User madduck
 Host merulo.debian.org | merulo
   Hostname merulo.debian.org
   User madduck
-Host merkel.debian.org | merkel
-  Hostname merkel.debian.org
-  User madduck
-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
-Host tartini.debian.org | tartini
-  Hostname tartini.debian.org
-  User madduck
-Host raff.debian.org | raff
-  Hostname raff.debian.org
-  User madduck
-Host klecker.debian.org | klecker
-  Hostname klecker.debian.org
+Host nono.debian.org | nono
+  Hostname nono.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
-Host bruckner.debian.org | bruckner
-  Hostname bruckner.debian.org
-  User madduck
-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
+Host paer.debian.org | paer
+  Hostname paer.debian.org
   User madduck
-Host caballero.debian.org | caballero
-  Hostname caballero.debian.org
+Host paganini.debian.org | paganini
+  Hostname paganini.debian.org
   User madduck
 Host pergolesi.debian.org | pergolesi
   Hostname pergolesi.debian.org
   User madduck
-Host spontini.debian.org | spontini
-  Hostname spontini.debian.org
-  User madduck
-Host mayr.debian.org | mayr
-  Hostname mayr.debian.org
-  User madduck
-Host mayer.debian.org | mayer
-  Hostname mayer.debian.org
-  User madduck
-Host agnesi.debian.org | agnesi
-  Hostname agnesi.debian.org
-  User madduck
-Host puccini.debian.org | puccini
-  Hostname puccini.debian.org
-  User madduck
-Host villa.debian.org | villa
-  Hostname villa.debian.org
+Host pescetti.debian.org | pescetti
+  Hostname pescetti.debian.org
   User madduck
 Host piatti.debian.org | piatti
   Hostname piatti.debian.org
   User madduck
-Host peri.debian.org | peri
-  Hostname peri.debian.org
+Host powell.debian.org | powell
+  Hostname powell.debian.org
   User madduck
-Host lobos.debian.org | lobos
-  Hostname lobos.debian.org
+Host quantz.debian.org | quantz
+  Hostname quantz.debian.org
   User madduck
-Host verdi.debian.org | verdi
-  Hostname verdi.debian.org
+Host ravel.debian.org | ravel
+  Hostname ravel.debian.org
+  User madduck
+Host respighi.debian.org | respighi
+  Hostname respighi.debian.org
   User madduck
 Host ries.debian.org | ries
   Hostname ries.debian.org
   User madduck
-Host goetz.debian.org | goetz
-  Hostname goetz.debian.org
-  User madduck
-Host rietz.debian.org | rietz
-  Hostname rietz.debian.org
+Host rore.debian.org | rore
+  Hostname rore.debian.org
   User madduck
-Host steffani.debian.org | steffani
-  Hostname steffani.debian.org
-  User madduck
-Host lebrun.debian.org | lebrun
-  Hostname lebrun.debian.org
+Host samosa.debian.org | samosa
+  Hostname samosa.debian.org
   User madduck
-Host liszt.debian.org | liszt
-  Hostname liszt.debian.org
+Host senfl.debian.org | senfl
+  Hostname senfl.debian.org
   User madduck
-Host mundy.debian.org | mundy
-  Hostname mundy.debian.org
+Host sh4.g15.jp | sh4
+  Hostname sh4.g15.jp
   User madduck
-Host albeniz.debian.org | albeniz
-  Hostname albeniz.debian.org
+Host smetana.debian.org | smetana
+  Hostname smetana.debian.org
   User madduck
 Host sperger.debian.org | sperger
   Hostname sperger.debian.org
   User madduck
-Host kassia.debian.org | kassia
-  Hostname kassia.debian.org
+Host stabile.debian.org | stabile
+  Hostname stabile.debian.org
   User madduck
-Host agricola.debian.org | agricola
-  Hostname agricola.debian.org
+Host strauss.debian.net | strauss
+  Hostname strauss.debian.net
+  User madduck
+Host sumotsu.debian.net | sumotsu
+  Hostname sumotsu.debian.net
+  User madduck
+Host tye.debian.org | tye
+  Hostname tye.debian.org
   User madduck
-Host arcadelt.debian.org | arcadelt
-  Hostname arcadelt.debian.org
+Host vasks.debian.org | vasks
+  Hostname vasks.debian.org
   User madduck
-Host penalosa.debian.org | penalosa
-  Hostname penalosa.debian.org
+Host vivaldi.debian.org | vivaldi
+  Hostname vivaldi.debian.org
   User madduck
-Host argento.debian.org | argento
-  Hostname argento.debian.org
+Host wagner.debian.org | wagner
+  Hostname wagner.debian.org
   User madduck
-Host allegri.debian.org | allegri
-  Hostname allegri.debian.org
+Host widor.debian.org | widor
+  Hostname widor.debian.org
+  User madduck
+Host zelenka.debian.org | zelenka
+  Hostname zelenka.debian.org
+  User madduck
+
+Host people.debian.org
+  HostKeyAlias ravel.debian.org
   User madduck
 
 Host sergei.ifi.uzh.ch | sergei
@@ -284,6 +365,24 @@ Host sergei.ifi.uzh.ch | sergei
 Host nikolai.ifi.uzh.ch | nikolai
   Hostname nikolai.ifi.uzh.ch
   User krafft
+Host franz.ifi.uzh.ch | franz
+  Hostname franz.ifi.uzh.ch
+  User krafft
+
+Host clegg-host | clegg-host.madduck.net | gratis2.opro.ch | opro
+  Hostname clegg-host.madduck.net
+  User madduck
+
+Host arnold-host | arnold-host.madduck.net
+  Hostname arnold-host.madduck.net
+  User xen05
+
+Host skynet.skynet.ie | skynet.ie | skynet
+  Hostname skynet.skynet.ie
+  User madduck
+
+Host aika.krafftwerk.de | aika
+  Hostname aika.krafftwerk.de
 
 Host *
 # AddressFamily any
@@ -298,6 +397,7 @@ Host *
   ConnectTimeout 10
   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
   ControlMaster auto
+  ControlPersist 5
 ## DSAAuthentication no
 # DynamicForward off
 # EnableSSHKeysign no
@@ -342,4 +442,5 @@ Host *
 # UsePrivilegedPort no
 # UserKnownHostsFile ~/.ssh/known_hosts
 # VerifyHostKeyDNS no
+  VisualHostKey no
 # XAuthLocation /usr/X11R6/bin/xauth