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 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 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 khyber.madduck.net | khyber
+ ForwardAgent yes
+ 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 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 irc
+ Hostname bell.madduck.net
Host martin-krafft.net
User madduck
User madduck
HostKeyAlias seamus.madduck.net
+Host bell.madduck.net | bell
+ ForwardAgent yes
+ Hostname bell.madduck.net
Host tunes.madduck.net | tunes
+ AddressFamily inet
+ ControlMaster no
+ Hostname tunes.madduck.net
HostKeyAlias bell.madduck.net
-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
- 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
- AddressFamily inet
+ Hostname wall.oerlikon.madduck.net
-Host embryo.madduck.net | embryo.gauting.madduck.net | gauting.no-ip.org | embryo
+Host vizier.oerlikon.madduck.net | vizier
+ Hostname vizier.oerlikon.madduck.net
+ ForwardAgent yes
+
+Host embryo.gauting.madduck.net | embryo
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
- AddressFamily inet
+# AddressFamily inet
+Host pipere
+ Hostname wall.oerlikon.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.oerlikon.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 nokia-n900.oerlikon.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 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
+ ForwardAgent yes
+ ForwardX11 yes
+Host mothere
+ Hostname embryo.gauting.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.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 svn.debian.org
HostKeyAlias alioth.debian.org
+ User madduck
Host git.debian.org
HostKeyAlias alioth.debian.org
+ User madduck
Host hg.debian.org
HostKeyAlias alioth.debian.org
-
-Host vore.debian.org | vore
- Hostname vore.debian.org
User madduck
+Host cvs.debian.org
+ HostKeyAlias alioth.debian.org
+ User madduck
+
Host malo.debian.org | malo
Hostname malo.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 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 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 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 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 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 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 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 strauss.debian.net | strauss
+ Hostname strauss.debian.net
+ User madduck
+Host bellini.debian.org | bellini
+ Hostname bellini.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
Hostname nikolai.ifi.uzh.ch
User krafft
+Host clegg-host | clegg-host.madduck.net | gratis2.opro.ch | opro
+ Hostname clegg-host.madduck.net
+ User madduck
+
+Host skynet.skynet.ie | skynet.ie | skynet
+ Hostname skynet.skynet.ie
+ User madduck
+
Host *
# AddressFamily any
# BatchMode no
# RhostsRSAAuthentication no
# RSAAuthentication no
# ServerAliveCountMax 3
-# ServerAliveInterval 45
+ ServerAliveInterval 45
SetupTimeOut 10
# SmartcardDevice off
StrictHostKeyChecking yes
# UsePrivilegedPort no
# UserKnownHostsFile ~/.ssh/known_hosts
# VerifyHostKeyDNS no
+ VisualHostKey no
# XAuthLocation /usr/X11R6/bin/xauth