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 lotus.madduck.net | lotus
+ ForwardAgent yes
+ Hostname lotus.madduck.net
+
+Host jugband.madduck.net | jugband
+ ForwardAgent yes
+ Hostname jugband.madduck.net
+
Host martin-krafft.net
User madduck
HostKeyAlias seamus.madduck.net
HostKeyAlias seamus.madduck.net
Host tunes.madduck.net | tunes
- Hostname bell.madduck.net
+ AddressFamily inet
+ ControlMaster no
+ Hostname tunes.madduck.net
HostKeyAlias bell.madduck.net
Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
CheckHostIP no
ForwardAgent yes
Hostname wall.oerlikon.madduck.net
- HostKeyAlias wall.oerlikon.madduck.net
+
+Host vizier.oerlikon.madduck.net | vizier
+ Hostname vizier.oerlikon.madduck.net
+ ForwardAgent yes
Host embryo.gauting.madduck.net | embryo
CheckHostIP no
ForwardX11 yes
# AddressFamily inet
Host pipere
- Hostname wall.madduck.net
+ Hostname wall.oerlikon.madduck.net
Port 22223
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
# AddressFamily inet
Host diamonde
- Hostname wall.madduck.net
+ Hostname wall.oerlikon.madduck.net
Port 22224
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
# AddressFamily inet
-Host lust.oerlikon.madduck.net | lust | hermia
- AddressFamily inet
- HostKeyAlias hermia.mjollnir.org
+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.madduck.net
+ Hostname embryo.gauting.madduck.net
Port 22221
CheckHostIP no
ForwardAgent yes
ForwardAgent yes
ForwardX11 yes
Host bricke
- Hostname embryo.madduck.net
+ 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 hg.debian.org
HostKeyAlias alioth.debian.org
User madduck
+Host cvs.debian.org
+ HostKeyAlias alioth.debian.org
+ User madduck
Host malo.debian.org | malo
Hostname malo.debian.org
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
- Hostname people.debian.org
- User madduck
HostKeyAlias ravel.debian.org
+ User madduck
Host sergei.ifi.uzh.ch | sergei
Hostname sergei.ifi.uzh.ch
Hostname 193.242.105.2
User madduck
+Host skynet.skynet.ie | skynet.ie | skynet
+ Hostname skynet.skynet.ie
+ User madduck
+
Host *
# AddressFamily any
# BatchMode no