]> git.madduck.net Git - etc/ssh.git/blobdiff - .ssh/config.in

madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

updated keys in gauting
[etc/ssh.git] / .ssh / config.in
index eee964908f6d2997c15147dff546c9e1df93752f..0623a4e77e8117c98ebdc6119219e6ecac331008 100644 (file)
@@ -11,22 +11,74 @@ Host pulse.madduck.net | pulse
 Host svn.madduck.net | svn
   User madduck
   HostKeyAlias pulse.madduck.net
 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
   #AddressFamily inet
   User madduck
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
-Host scratch.madduck.net | scratch
+Host openvpn.madduck.net | openvpn
   User madduck
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
   User madduck
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
-Host debian.madduck.net | debian
-  User madduck
+Host backup.madduck.net | backup
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
-Host openvpn.madduck.net | openvpn
+
+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
   User madduck
-  HostKeyAlias pulse.madduck.net
-  #AddressFamily inet
+  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
 
 Host martin-krafft.net
   User madduck
@@ -37,70 +89,106 @@ Host phd.martin-krafft.net
 Host madduck.net
   User madduck
   HostKeyAlias seamus.madduck.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 scratch.madduck.net | scratch
+  User madduck
+  HostKeyAlias diamond.madduck.net
 Host tunes.madduck.net | tunes
 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 lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
+Host shelter.madduck.net | shelter
+  ForwardAgent yes
+  Hostname shelter.madduck.net
+
+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
   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
   CheckHostIP no
   ForwardAgent yes
-#  AddressFamily inet
-  HostKeyAlias wall.oerlikon.madduck.net
+  ForwardX11 yes
 
 
-Host embryo.gauting.madduck.net | gauting.no-ip.org | embryo
+Host wall.gern.madduck.net | wall
   CheckHostIP no
   ForwardAgent yes
   CheckHostIP no
   ForwardAgent yes
-  HostKeyAlias embryo.gauting.madduck.net
+  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
   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
   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
   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
   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
   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
 
   ForwardAgent yes
   ForwardX11 yes
 #  AddressFamily inet
 
-Host lust.oerlikon.madduck.net | lust | hermia
-  Hostname lust.oerlikon.madduck.net
-  AddressFamily inet
+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.madduck.net | mother
-  Hostname mother.gauting.madduck.net
+Host mother.gauting | mother | mother.gauting.madduck.net
+  Hostname mother.gauting
   ForwardAgent yes
   ForwardX11 yes
 Host mothere
   ForwardAgent yes
   ForwardX11 yes
 Host mothere
-  Hostname embryo.madduck.net
+  Hostname embryo.gauting.madduck.net
   Port 22221
   CheckHostIP no
   ForwardAgent yes
   Port 22221
   CheckHostIP no
   ForwardAgent yes
@@ -112,13 +200,17 @@ Host brick.gauting.madduck.net | brick
   ForwardAgent yes
   ForwardX11 yes
 Host bricke
   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
 
   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
 Host debian-community.org | bikeshed.debian-community.org | bikeshed
   Hostname bikeshed.debian-community.org
   User madduck
@@ -126,182 +218,145 @@ Host debian-community.org | bikeshed.debian-community.org | bikeshed
   ForwardX11 no
 
 Host alioth.debian.org | alioth
   ForwardX11 no
 
 Host alioth.debian.org | alioth
-  Hostname alioth.debian.org
+  hostKeyAlias wagner.debian.org
   User madduck
   User madduck
+
 Host svn.debian.org
 Host svn.debian.org
-  HostKeyAlias alioth.debian.org
+  HostKeyAlias vasks.debian.org
+  User madduck
 Host git.debian.org
 Host git.debian.org
-  HostKeyAlias alioth.debian.org
+  HostKeyAlias vasks.debian.org
+  User madduck
 Host hg.debian.org
 Host hg.debian.org
-  HostKeyAlias alioth.debian.org
-
-Host vore.debian.org | vore
-  Hostname vore.debian.org
+  HostKeyAlias vasks.debian.org
   User madduck
   User madduck
-Host malo.debian.org | malo
-  Hostname malo.debian.org
+Host cvs.debian.org
+  HostKeyAlias vasks.debian.org
   User madduck
   User madduck
-Host paer.debian.org | paer
-  Hostname paer.debian.org
+
+Host abel.debian.org | abel
+  Hostname abel.debian.org
   User madduck
   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
   User madduck
-Host saens.debian.org | saens
-  Hostname saens.debian.org
+Host asdfasdf.debian.net | asdfasdf
+  Hostname asdfasdf.debian.net
   User madduck
   User madduck
-Host spohr.debian.org | spohr
-  Hostname spohr.debian.org
+Host busoni.debian.org | busoni
+  Hostname busoni.debian.org
   User madduck
   User madduck
-Host auric.debian.org | auric
-  Hostname auric.debian.org
+Host cilea.debian.org | cilea
+  Hostname cilea.debian.org
   User madduck
   User madduck
-Host gluck.debian.org | gluck
-  Hostname gluck.debian.org
+Host duarte.debian.org | duarte
+  Hostname duarte.debian.org
   User madduck
   User madduck
-Host elara.debian.org | elara
-  Hostname elara.debian.org
+Host dukas.debian.org | dukas
+  Hostname dukas.debian.org
   User madduck
   User madduck
-Host sarti.debian.org | sarti
-  Hostname sarti.debian.org
+Host glinka.debian.org | glinka
+  Hostname glinka.debian.org
   User madduck
   User madduck
-Host europa.debian.org | europa
-  Hostname europa.debian.org
+Host grieg.debian.org | grieg
+  Hostname grieg.debian.org
   User madduck
   User madduck
-Host goedel.debian.org | goedel
-  Hostname goedel.debian.org
+Host io.debian.net | io
+  Hostname io.debian.net
   User madduck
   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
   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 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
   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
   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
   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
   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
   User madduck
-Host lobos.debian.org | lobos
-  Hostname lobos.debian.org
+Host quantz.debian.org | quantz
+  Hostname quantz.debian.org
   User madduck
   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
   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
   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
   User madduck
-Host liszt.debian.org | liszt
-  Hostname liszt.debian.org
+Host senfl.debian.org | senfl
+  Hostname senfl.debian.org
   User madduck
   User madduck
-Host mundy.debian.org | mundy
-  Hostname mundy.debian.org
+Host sh4.g15.jp | sh4
+  Hostname sh4.g15.jp
   User madduck
   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
   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
   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
   User madduck
-Host arcadelt.debian.org | arcadelt
-  Hostname arcadelt.debian.org
+Host vasks.debian.org | vasks
+  Hostname vasks.debian.org
   User madduck
   User madduck
-Host penalosa.debian.org | penalosa
-  Hostname penalosa.debian.org
+Host vivaldi.debian.org | vivaldi
+  Hostname vivaldi.debian.org
   User madduck
   User madduck
-Host argento.debian.org | argento
-  Hostname argento.debian.org
+Host wagner.debian.org | wagner
+  Hostname wagner.debian.org
   User madduck
   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
   User madduck
 
 Host sergei.ifi.uzh.ch | sergei
@@ -310,6 +365,24 @@ Host sergei.ifi.uzh.ch | sergei
 Host nikolai.ifi.uzh.ch | nikolai
   Hostname nikolai.ifi.uzh.ch
   User krafft
 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
 
 Host *
 # AddressFamily any
@@ -324,6 +397,7 @@ Host *
   ConnectTimeout 10
   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
   ControlMaster auto
   ConnectTimeout 10
   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
   ControlMaster auto
+  ControlPersist 5
 ## DSAAuthentication no
 # DynamicForward off
 # EnableSSHKeysign no
 ## DSAAuthentication no
 # DynamicForward off
 # EnableSSHKeysign no
@@ -368,4 +442,5 @@ Host *
 # UsePrivilegedPort no
 # UserKnownHostsFile ~/.ssh/known_hosts
 # VerifyHostKeyDNS no
 # UsePrivilegedPort no
 # UserKnownHostsFile ~/.ssh/known_hosts
 # VerifyHostKeyDNS no
+  VisualHostKey no
 # XAuthLocation /usr/X11R6/bin/xauth
 # XAuthLocation /usr/X11R6/bin/xauth