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

add skynet
[etc/ssh.git] / .ssh / config.in
index f902a761511c5b6ecabbaddeb7302c00a0897ba4..3f336437cf65885f81f6450441f8212c279c48e7 100644 (file)
@@ -7,18 +7,36 @@ Host 127.0.0.1 | localhost
 Host pulse.madduck.net | pulse
   ForwardAgent yes
   Hostname pulse.madduck.net
 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
 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
 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
+  #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
 
 Host martin-krafft.net
   User madduck
@@ -31,28 +49,92 @@ Host madduck.net
   HostKeyAlias seamus.madduck.net
 
 Host tunes.madduck.net | tunes
   HostKeyAlias seamus.madduck.net
 
 Host tunes.madduck.net | tunes
+  Hostname bell.madduck.net
   HostKeyAlias 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
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
-  AddressFamily inet
+#  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
   CheckHostIP no
   ForwardAgent yes
-  AddressFamily inet
+  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
   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
 
 Host piper.oerlikon.madduck.net | piper
   Hostname piper.oerlikon.madduck.net
   ForwardAgent yes
   ForwardX11 yes
-  AddressFamily inet
+#  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
 
 Host debian-community.org | bikeshed.debian-community.org | bikeshed
   Hostname bikeshed.debian-community.org
@@ -65,14 +147,14 @@ Host alioth.debian.org | alioth
   User madduck
 Host svn.debian.org
   HostKeyAlias alioth.debian.org
   User madduck
 Host svn.debian.org
   HostKeyAlias alioth.debian.org
+  User madduck
 Host git.debian.org
   HostKeyAlias alioth.debian.org
 Host git.debian.org
   HostKeyAlias alioth.debian.org
+  User madduck
 Host hg.debian.org
   HostKeyAlias alioth.debian.org
 Host hg.debian.org
   HostKeyAlias alioth.debian.org
-
-Host vore.debian.org | vore
-  Hostname vore.debian.org
   User madduck
   User madduck
+
 Host malo.debian.org | malo
   Hostname malo.debian.org
   User madduck
 Host malo.debian.org | malo
   Hostname malo.debian.org
   User madduck
@@ -88,9 +170,6 @@ Host saens.debian.org | saens
 Host spohr.debian.org | spohr
   Hostname spohr.debian.org
   User madduck
 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
 Host gluck.debian.org | gluck
   Hostname gluck.debian.org
   User madduck
@@ -103,12 +182,6 @@ Host sarti.debian.org | sarti
 Host europa.debian.org | europa
   Hostname europa.debian.org
   User madduck
 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
 Host master.debian.org | master
   Hostname master.debian.org
   User madduck
@@ -124,9 +197,6 @@ Host merkel.debian.org | merkel
 Host murphy.debian.org | murphy
   Hostname murphy.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 raptor.debian.org | raptor
   Hostname raptor.debian.org
   User madduck
@@ -139,9 +209,6 @@ Host raff.debian.org | raff
 Host klecker.debian.org | klecker
   Hostname klecker.debian.org
   User madduck
 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
 Host voltaire.debian.org | voltaire
   Hostname voltaire.debian.org
   User madduck
@@ -151,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 kullervo.debian.org | kullervo
-  Hostname kullervo.debian.org
-  User madduck
 Host samosa.debian.org | samosa
   Hostname samosa.debian.org
   User madduck
 Host samosa.debian.org | samosa
   Hostname samosa.debian.org
   User madduck
@@ -190,6 +254,9 @@ Host peri.debian.org | peri
 Host lobos.debian.org | lobos
   Hostname lobos.debian.org
   User madduck
 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
 Host verdi.debian.org | verdi
   Hostname verdi.debian.org
   User madduck
@@ -199,6 +266,9 @@ Host ries.debian.org | ries
 Host goetz.debian.org | goetz
   Hostname goetz.debian.org
   User madduck
 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
 Host rietz.debian.org | rietz
   Hostname rietz.debian.org
   User madduck
@@ -238,6 +308,35 @@ Host argento.debian.org | argento
 Host allegri.debian.org | allegri
   Hostname allegri.debian.org
   User madduck
 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
 
 Host sergei.ifi.uzh.ch | sergei
   Hostname sergei.ifi.uzh.ch
@@ -246,6 +345,10 @@ Host nikolai.ifi.uzh.ch | nikolai
   Hostname nikolai.ifi.uzh.ch
   User krafft
 
   Hostname nikolai.ifi.uzh.ch
   User krafft
 
+Host gratis2.opro.ch | opro
+  Hostname 193.242.105.2
+  User madduck
+
 Host *
 # AddressFamily any
 # BatchMode no
 Host *
 # AddressFamily any
 # BatchMode no
@@ -293,7 +396,7 @@ Host *
 # RhostsRSAAuthentication no
 # RSAAuthentication no
 # ServerAliveCountMax 3
 # RhostsRSAAuthentication no
 # RSAAuthentication no
 # ServerAliveCountMax 3
-# ServerAliveInterval 45
+  ServerAliveInterval 45
   SetupTimeOut 10
 # SmartcardDevice off
   StrictHostKeyChecking yes
   SetupTimeOut 10
 # SmartcardDevice off
   StrictHostKeyChecking yes
@@ -303,4 +406,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