ForwardAgent yes
Hostname khyber.madduck.net
+Host wots.madduck.net | wots
+ ForwardAgent yes
+ Hostname wots.madduck.net
+
Host lotus.madduck.net | lotus
ForwardAgent yes
Hostname lotus.madduck.net
ForwardAgent yes
Hostname jugband.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 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
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
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 strauss.debian.net | strauss
Hostname strauss.debian.net
User madduck
-Host bellini.debian.net | bellini
- Hostname bellini.debian.net
- User madduck
-
-Host cvs.debian.org
- HostKeyAlias gluck.debian.org
+Host bellini.debian.org | bellini
+ Hostname bellini.debian.org
User madduck
Host people.debian.org
Hostname nikolai.ifi.uzh.ch
User krafft
-Host gratis2.opro.ch | opro
- Hostname 193.242.105.2
+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