]> 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:

fix gauting hosts
[etc/ssh.git] / .ssh / config.in
index c3d91ffdb3c16608c3dd70cb435577e2744b1751..f93c26363c1e2fa68dd0184d8c2214508c8d11a5 100644 (file)
@@ -11,10 +11,6 @@ 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 scratch.madduck.net | scratch
-  User madduck
-  HostKeyAlias pulse.madduck.net
-  #AddressFamily inet
 Host debian.madduck.net | debian
   User madduck
   HostKeyAlias pulse.madduck.net
 Host debian.madduck.net | debian
   User madduck
   HostKeyAlias pulse.madduck.net
@@ -23,11 +19,6 @@ Host openvpn.madduck.net | openvpn
   User madduck
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
   User madduck
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
-Host ssh443.madduck.net | ssh443
-  User madduck
-  HostKeyAlias pulse.madduck.net
-  ForwardAgent yes
-  Port 443
 Host backup.madduck.net | backup
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
 Host backup.madduck.net | backup
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
@@ -35,6 +26,10 @@ Host backup.madduck.net | backup
 Host khyber.madduck.net | khyber
   ForwardAgent yes
   Hostname khyber.madduck.net
 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
 
 Host wots.madduck.net | wots
   ForwardAgent yes
@@ -52,6 +47,15 @@ Host git.debian.ch
   User git
   HostKeyAlias lotus.madduck.net
 
   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 jugband.madduck.net | jugband
   ForwardAgent yes
   Hostname jugband.madduck.net
@@ -73,7 +77,8 @@ Host domine.madduck.net | domine
   Hostname domine.madduck.net
 
 Host irc
   Hostname domine.madduck.net
 
 Host irc
-  Hostname bell.madduck.net
+  Hostname vera.madduck.net
+  ConnectTimeout 60
 
 Host martin-krafft.net
   User madduck
 
 Host martin-krafft.net
   User madduck
@@ -87,18 +92,22 @@ Host madduck.net
 Host imap.madduck.net
   HostKeyAlias seamus.madduck.net
 
 Host imap.madduck.net
   HostKeyAlias seamus.madduck.net
 
-Host bell.madduck.net | bell
+Host diamond.madduck.net | diamond
   ForwardAgent yes
   ForwardAgent yes
-  Hostname bell.madduck.net
+  Hostname diamond.madduck.net
 Host tunes.madduck.net | tunes
   AddressFamily inet
   ControlMaster no
   Hostname tunes.madduck.net
 Host tunes.madduck.net | tunes
   AddressFamily inet
   ControlMaster no
   Hostname tunes.madduck.net
-  HostKeyAlias bell.madduck.net
-
-Host diamond.madduck.net | diamond
-  ForwardAgent yes
-  Hostname diamond.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
 
 Host shelter.madduck.net | shelter
   ForwardAgent yes
@@ -108,24 +117,31 @@ Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
   Hostname sheep.umverkehr.ch
   User madduck
 
   Hostname sheep.umverkehr.ch
   User madduck
 
-Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
+Host lapse.rw.madduck.net | lapse.gern.madduck.net | lapse
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
 
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
 
-Host fishbowl.rw.madduck.net | fishbowl.oerlikon.madduck.net | fishbowl
+Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
 
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
 
-Host wall.oerlikon.madduck.net | wall
+Host wall.gern.madduck.net | wall
   CheckHostIP no
   ForwardAgent yes
   CheckHostIP no
   ForwardAgent yes
-  Hostname wall.oerlikon.madduck.net
+  Hostname wall.gern.madduck.net
 
 
-Host julia.oerlikon.madduck.net | julia
-  Hostname julia.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
   ForwardAgent yes
+  ForwardX11 yes
+  HostKeyAlias julia.gern.madduck.net
 
 Host embryo.gauting.madduck.net | embryo
   CheckHostIP no
 
 Host embryo.gauting.madduck.net | embryo
   CheckHostIP no
@@ -133,26 +149,30 @@ Host embryo.gauting.madduck.net | embryo
   Hostname embryo.gauting.madduck.net
   HostKeyAlias embryo.gauting.madduck.net
 
   Hostname embryo.gauting.madduck.net
   HostKeyAlias embryo.gauting.madduck.net
 
-Host piper.oerlikon.madduck.net | piper
-  Hostname piper.oerlikon.madduck.net
+Host piper.gern.madduck.net | piper
+  Hostname piper.gern.madduck.net
   ForwardAgent yes
   ForwardX11 yes
   ForwardAgent yes
   ForwardX11 yes
-#  AddressFamily inet
-Host pipere
-  Hostname wall.oerlikon.madduck.net
-  Port 22223
+
+Host albatross.gern.madduck.net | albatross
+  Hostname albatross.gern.madduck.net
+  ForwardAgent yes
+  ForwardX11 yes
+Host albatrosse
+  Hostname wall.gern.madduck.net
+  Port 22032
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
-  HostKeyAlias piper.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 nokia-n900.oerlikon.madduck.net | nokia-n900 | n900
+Host nokia-n900.gern.madduck.net | nokia-n900 | n900
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
@@ -163,13 +183,8 @@ Host auge-fr.no-ip.org | auge
   Hostname auge-fr.no-ip.org
   HostKeyAlias helena.home.mjollnir.org
 
   Hostname auge-fr.no-ip.org
   HostKeyAlias helena.home.mjollnir.org
 
-Host hermia.home.mjollnir.org | hermia | lust.oerlikon.madduck.net | lust
-  CheckHostIP no
-  ForwardX11 yes
-  HostKeyAlias hermia.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
@@ -203,200 +218,141 @@ 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
   User madduck
 Host git.debian.org
-  HostKeyAlias alioth.debian.org
+  HostKeyAlias vasks.debian.org
   User madduck
 Host hg.debian.org
   User madduck
 Host hg.debian.org
-  HostKeyAlias alioth.debian.org
+  HostKeyAlias vasks.debian.org
   User madduck
 Host cvs.debian.org
   User madduck
 Host cvs.debian.org
-  HostKeyAlias alioth.debian.org
+  HostKeyAlias vasks.debian.org
   User madduck
 
   User madduck
 
-Host malo.debian.org | malo
-  Hostname malo.debian.org
+Host abel.debian.org | abel
+  Hostname abel.debian.org
   User madduck
   User madduck
-Host paer.debian.org | paer
-  Hostname paer.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 crest.debian.org | crest
-  Hostname crest.debian.org
+Host asdfasdf.debian.net | asdfasdf
+  Hostname asdfasdf.debian.net
   User madduck
   User madduck
-Host saens.debian.org | saens
-  Hostname saens.debian.org
+Host busoni.debian.org | busoni
+  Hostname busoni.debian.org
   User madduck
   User madduck
-Host spohr.debian.org | spohr
-  Hostname spohr.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
+Host io.debian.net | io
+  Hostname io.debian.net
+  User madduck
+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 raptor.debian.org | raptor
-  Hostname raptor.debian.org
-  User madduck
-Host tartini.debian.org | tartini
-  Hostname tartini.debian.org
+Host nono.debian.org | nono
+  Hostname nono.debian.org
   User madduck
   User madduck
-Host raff.debian.org | raff
-  Hostname raff.debian.org
-  User madduck
-Host klecker.debian.org | klecker
-  Hostname klecker.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 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 wagner.debian.org | wagner
-  Hostname wagner.debian.org
+Host ravel.debian.org | ravel
+  Hostname ravel.debian.org
   User madduck
   User madduck
-Host verdi.debian.org | verdi
-  Hostname verdi.debian.org
+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
+Host rore.debian.org | rore
+  Hostname rore.debian.org
   User madduck
   User madduck
-Host ravel.debian.org | ravel
-  Hostname ravel.debian.org
-  User madduck
-Host rietz.debian.org | rietz
-  Hostname rietz.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
   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
-  User madduck
-Host agricola.debian.org | agricola
-  Hostname agricola.debian.org
-  User madduck
-Host arcadelt.debian.org | arcadelt
-  Hostname arcadelt.debian.org
-  User madduck
-Host penalosa.debian.org | penalosa
-  Hostname penalosa.debian.org
-  User madduck
-Host argento.debian.org | argento
-  Hostname argento.debian.org
-  User madduck
-Host allegri.debian.org | allegri
-  Hostname allegri.debian.org
-  User madduck
-Host morales.debian.org | morales
-  Hostname morales.debian.org
+Host stabile.debian.org | stabile
+  Hostname stabile.debian.org
   User madduck
   User madduck
-Host auber.debian.org | auber
-  Hostname auber.debian.org
+Host strauss.debian.net | strauss
+  Hostname strauss.debian.net
   User madduck
   User madduck
-Host mahler.debian.org | mahler
-  Hostname mahler.debian.org
+Host sumotsu.debian.net | sumotsu
+  Hostname sumotsu.debian.net
   User madduck
   User madduck
-Host schroeder.debian.org | schroeder
-  Hostname schroeder.debian.org
+Host tye.debian.org | tye
+  Hostname tye.debian.org
   User madduck
   User madduck
-Host powell.debian.org | powell
-  Hostname powell.debian.org
+Host vasks.debian.org | vasks
+  Hostname vasks.debian.org
   User madduck
   User madduck
-Host rem.debian.org | rem
-  Hostname rem.debian.org
+Host vivaldi.debian.org | vivaldi
+  Hostname vivaldi.debian.org
   User madduck
   User madduck
-Host smetana.debian.org | smetana
-  Hostname smetana.debian.org
+Host wagner.debian.org | wagner
+  Hostname wagner.debian.org
   User madduck
   User madduck
-Host strauss.debian.net | strauss
-  Hostname strauss.debian.net
+Host widor.debian.org | widor
+  Hostname widor.debian.org
   User madduck
   User madduck
-Host bellini.debian.org | bellini
-  Hostname bellini.debian.org
+Host zelenka.debian.org | zelenka
+  Hostname zelenka.debian.org
   User madduck
 
 Host people.debian.org
   User madduck
 
 Host people.debian.org
@@ -409,11 +365,18 @@ 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 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 skynet.skynet.ie | skynet.ie | skynet
   Hostname skynet.skynet.ie
   User madduck