remove extra zeroes from ipv6 addr

[etc/ssh.git] / .ssh / config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index c0bed14722cf8867239c7942a3bbd80e0522418b..792cf4dccc7b7f289cd5097b49b8e8dd95e5da83 100644 (file)
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -7,16 +7,30 @@ 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
   User madduck
   HostKeyAlias pulse.madduck.net
+  #AddressFamily inet
 Host scratch.madduck.net | scratch
   User madduck
   HostKeyAlias pulse.madduck.net
+  #AddressFamily inet
+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 martin-krafft.net
+  User madduck
+  HostKeyAlias seamus.madduck.net
 Host phd.martin-krafft.net
   User madduck
   HostKeyAlias seamus.madduck.net
@@ -24,14 +38,82 @@ Host madduck.net
   User madduck
   HostKeyAlias seamus.madduck.net
 
-Host lapse.madduck.net | lapse.oerlikon.madduck.net | lapse
+Host tunes.madduck.net | tunes
+  Hostname bell.madduck.net
+  HostKeyAlias bell.madduck.net
+
+Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
+  CheckHostIP no
+  ForwardAgent yes
+  ForwardX11 yes
+#  AddressFamily inet
+
+Host wall.oerlikon.madduck.net | oerlikon.no-ip.org | wall
   CheckHostIP no
+  ForwardAgent yes
+#  AddressFamily inet
+  HostKeyAlias wall.oerlikon.madduck.net
 
-Host wall.madduck.net | wall.oerlikon.madduck.net | oerlikon.no-up.org | wall
+Host embryo.gauting.madduck.net | gauting.no-ip.org | embryo
   CheckHostIP no
+  ForwardAgent yes
+  HostKeyAlias embryo.gauting.madduck.net
 
-Host embryo.madduck.net | embryo.gauting.madduck.net | gauting.no-ip.org | embryo
+Host piper.oerlikon.madduck.net | piper
+  Hostname piper.oerlikon.madduck.net
+  ForwardAgent yes
+  ForwardX11 yes
+#  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 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
@@ -218,6 +300,13 @@ Host allegri.debian.org | allegri
   Hostname allegri.debian.org
   User madduck
 
+Host sergei.ifi.uzh.ch | sergei
+  Hostname sergei.ifi.uzh.ch
+  User krafft
+Host nikolai.ifi.uzh.ch | nikolai
+  Hostname nikolai.ifi.uzh.ch
+  User krafft
+
 Host *
 # AddressFamily any
 # BatchMode no
@@ -265,7 +354,7 @@ Host *
 # RhostsRSAAuthentication no
 # RSAAuthentication no
 # ServerAliveCountMax 3
-# ServerAliveInterval 45
+  ServerAliveInterval 45
   SetupTimeOut 10
 # SmartcardDevice off
   StrictHostKeyChecking yes