]> 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 port-forwarded external gern host config entries
[etc/ssh.git] / .ssh / config.in
index 8b909fd87409bd1b8022a4d2e9f31cafd7e2fc01..5e609afc3a973d3308701d6d4f669bf94c88d788 100644 (file)
@@ -135,6 +135,13 @@ Host wall.gern.madduck.net | wall
 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
+  HostKeyAlias julia.gern.madduck.net
 
 Host embryo.gauting.madduck.net | embryo
   CheckHostIP no
@@ -146,13 +153,6 @@ Host piper.gern.madduck.net | piper
   Hostname piper.gern.madduck.net
   ForwardAgent yes
   ForwardX11 yes
-Host pipere
-  Hostname wall.gern.madduck.net
-  Port 22223
-  CheckHostIP no
-  ForwardAgent yes
-  ForwardX11 yes
-  HostKeyAlias piper.gern.madduck.net
 
 Host albatross.gern.madduck.net | albatross
   Hostname albatross.gern.madduck.net
@@ -160,7 +160,7 @@ Host albatross.gern.madduck.net | albatross
   ForwardX11 yes
 Host albatrosse
   Hostname wall.gern.madduck.net
-  Port 22222
+  Port 22032
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
@@ -234,182 +234,125 @@ Host cvs.debian.org
   HostKeyAlias vasks.debian.org
   User madduck
 
-Host malo.debian.org | malo
-  Hostname malo.debian.org
+Host abel.debian.org | abel
+  Hostname abel.debian.org
   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
+Host asdfasdf.debian.net | asdfasdf
+  Hostname asdfasdf.debian.net
   User madduck
-Host crest.debian.org | crest
-  Hostname crest.debian.org
+Host busoni.debian.org | busoni
+  Hostname busoni.debian.org
   User madduck
-Host saens.debian.org | saens
-  Hostname saens.debian.org
+Host cilea.debian.org | cilea
+  Hostname cilea.debian.org
   User madduck
-Host spohr.debian.org | spohr
-  Hostname spohr.debian.org
+Host duarte.debian.org | duarte
+  Hostname duarte.debian.org
   User madduck
-Host gluck.debian.org | gluck
-  Hostname gluck.debian.org
+Host dukas.debian.org | dukas
+  Hostname dukas.debian.org
   User madduck
-Host elara.debian.org | elara
-  Hostname elara.debian.org
+Host glinka.debian.org | glinka
+  Hostname glinka.debian.org
   User madduck
-Host sarti.debian.org | sarti
-  Hostname sarti.debian.org
+Host grieg.debian.org | grieg
+  Hostname grieg.debian.org
   User madduck
-Host europa.debian.org | europa
-  Hostname europa.debian.org
+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
-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 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
-  User madduck
-Host voltaire.debian.org | voltaire
-  Hostname voltaire.debian.org
+Host nono.debian.org | nono
+  Hostname nono.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
-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 wagner.debian.org | wagner
-  Hostname wagner.debian.org
+Host ravel.debian.org | ravel
+  Hostname ravel.debian.org
   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
-Host goetz.debian.org | goetz
-  Hostname goetz.debian.org
+Host rore.debian.org | rore
+  Hostname rore.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
-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
-  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
+Host stabile.debian.org | stabile
+  Hostname stabile.debian.org
   User madduck
-Host argento.debian.org | argento
-  Hostname argento.debian.org
+Host strauss.debian.net | strauss
+  Hostname strauss.debian.net
   User madduck
-Host allegri.debian.org | allegri
-  Hostname allegri.debian.org
+Host sumotsu.debian.net | sumotsu
+  Hostname sumotsu.debian.net
   User madduck
-Host morales.debian.org | morales
-  Hostname morales.debian.org
+Host tye.debian.org | tye
+  Hostname tye.debian.org
   User madduck
-Host auber.debian.org | auber
-  Hostname auber.debian.org
+Host vasks.debian.org | vasks
+  Hostname vasks.debian.org
   User madduck
-Host mahler.debian.org | mahler
-  Hostname mahler.debian.org
+Host vivaldi.debian.org | vivaldi
+  Hostname vivaldi.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
+Host wagner.debian.org | wagner
+  Hostname wagner.debian.org
   User madduck
-Host smetana.debian.org | smetana
-  Hostname smetana.debian.org
+Host widor.debian.org | widor
+  Hostname widor.debian.org
   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