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
User git
HostKeyAlias lotus.madduck.net
+Host sysyphus.madduck.net | sysyphus
+ ForwardAgent yes
+ Hostname sysyphus.madduck.net
+Host ssh443.madduck.net | ssh443
+ User madduck
+ HostKeyAlias sysyphus.madduck.net
+ ForwardAgent yes
+ Port 443
+
Host jugband.madduck.net | jugband
ForwardAgent yes
Hostname jugband.madduck.net
Host irc
Hostname vera.madduck.net
+ ConnectTimeout 60
Host martin-krafft.net
User madduck
Hostname sheep.umverkehr.ch
User madduck
-Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
+Host lapse.rw.madduck.net | lapse.gern.madduck.net | lapse
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
-Host fishbowl.rw.madduck.net | fishbowl.oerlikon.madduck.net | fishbowl
+Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
-Host wall.oerlikon.madduck.net | wall
+Host wall.gern.madduck.net | wall
CheckHostIP no
ForwardAgent yes
- Hostname wall.oerlikon.madduck.net
+ Hostname wall.gern.madduck.net
-Host julia.oerlikon.madduck.net | julia
- Hostname julia.oerlikon.madduck.net
+Host julia.gern.madduck.net | julia
+ Hostname julia.gern.madduck.net
ForwardAgent yes
Host embryo.gauting.madduck.net | embryo
Hostname embryo.gauting.madduck.net
HostKeyAlias embryo.gauting.madduck.net
-Host piper.oerlikon.madduck.net | piper
- Hostname piper.oerlikon.madduck.net
+Host piper.gern.madduck.net | piper
+ Hostname piper.gern.madduck.net
ForwardAgent yes
ForwardX11 yes
Host pipere
- Hostname wall.oerlikon.madduck.net
+ Hostname wall.gern.madduck.net
Port 22223
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
- HostKeyAlias piper.oerlikon.madduck.net
+ HostKeyAlias piper.gern.madduck.net
-Host albatross.oerlikon.madduck.net | albatross
- Hostname albatross.oerlikon.madduck.net
+Host albatross.gern.madduck.net | albatross
+ Hostname albatross.gern.madduck.net
ForwardAgent yes
ForwardX11 yes
Host albatrosse
- Hostname wall.oerlikon.madduck.net
+ Hostname wall.gern.madduck.net
Port 22224
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
- HostKeyAlias albatross.oerlikon.madduck.net
+ HostKeyAlias albatross.gern.madduck.net
-Host pict.oerlikon.madduck.net | pict
- Hostname pict.oerlikon.madduck.net
+Host pict.gern.madduck.net | pict
+ Hostname pict.gern.madduck.net
ForwardAgent yes
ForwardX11 yes
# AddressFamily inet
-Host nokia-n900.oerlikon.madduck.net | nokia-n900 | n900
+Host nokia-n900.gern.madduck.net | nokia-n900 | n900
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
ForwardAgent no
ForwardX11 no
-Host alioth.debian.org | alioth
- Hostname alioth.debian.org
- User madduck
Host svn.debian.org
- HostKeyAlias alioth.debian.org
+ HostKeyAlias vasks.debian.org
User madduck
Host git.debian.org
- HostKeyAlias alioth.debian.org
+ HostKeyAlias vasks.debian.org
User madduck
Host hg.debian.org
- HostKeyAlias alioth.debian.org
+ HostKeyAlias vasks.debian.org
User madduck
Host cvs.debian.org
- HostKeyAlias alioth.debian.org
+ HostKeyAlias vasks.debian.org
User madduck
Host malo.debian.org | malo
Host wagner.debian.org | wagner
Hostname wagner.debian.org
User madduck
+Host vasks.debian.org | vasks
+ Hostname vasks.debian.org
+ User madduck
Host verdi.debian.org | verdi
Hostname verdi.debian.org
User madduck