-Host alioth.debian.org | alioth
- Hostname alioth.debian.org
- User madduck
-Host svn.debian.org
- HostKeyAlias alioth.debian.org
-Host git.debian.org
- HostKeyAlias alioth.debian.org
-Host hg.debian.org
- HostKeyAlias alioth.debian.org
-
-Host vore.debian.org | vore
- Hostname vore.debian.org
- User madduck
-Host malo.debian.org | malo
- Hostname malo.debian.org
- User madduck
-Host paer.debian.org | paer
- Hostname paer.debian.org
- User madduck
-Host crest.debian.org | crest
- Hostname crest.debian.org
- User madduck
-Host saens.debian.org | saens
- Hostname saens.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 elara.debian.org | elara
- Hostname elara.debian.org
- User madduck
-Host sarti.debian.org | sarti
- Hostname sarti.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 bartok.debian.org | bartok
- Hostname bartok.debian.org
- User madduck
-Host merulo.debian.org | merulo
- Hostname merulo.debian.org
- User madduck
-Host merkel.debian.org | merkel
- Hostname merkel.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 tartini.debian.org | tartini
- Hostname tartini.debian.org
- User madduck
-Host raff.debian.org | raff
- Hostname raff.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 bruckner.debian.org | bruckner
- Hostname bruckner.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 caballero.debian.org | caballero
- Hostname caballero.debian.org
- User madduck
-Host pergolesi.debian.org | pergolesi
- Hostname pergolesi.debian.org
- User madduck
-Host spontini.debian.org | spontini
- Hostname spontini.debian.org
- User madduck
-Host mayr.debian.org | mayr
- Hostname mayr.debian.org
- User madduck
-Host mayer.debian.org | mayer
- Hostname mayer.debian.org
- User madduck
-Host agnesi.debian.org | agnesi
- Hostname agnesi.debian.org
- User madduck
-Host puccini.debian.org | puccini
- Hostname puccini.debian.org
- User madduck
-Host villa.debian.org | villa
- Hostname villa.debian.org
- User madduck
-Host piatti.debian.org | piatti
- Hostname piatti.debian.org
- User madduck
-Host peri.debian.org | peri
- Hostname peri.debian.org
- User madduck
-Host lobos.debian.org | lobos
- Hostname lobos.debian.org
- User madduck
-Host verdi.debian.org | verdi
- Hostname verdi.debian.org
- User madduck
-Host ries.debian.org | ries
- Hostname ries.debian.org
- User madduck
-Host goetz.debian.org | goetz
- Hostname goetz.debian.org
- User madduck
-Host rietz.debian.org | rietz
- Hostname rietz.debian.org
- User madduck
-Host steffani.debian.org | steffani
- Hostname steffani.debian.org
- User madduck
-Host lebrun.debian.org | lebrun
- Hostname lebrun.debian.org
- User madduck
-Host liszt.debian.org | liszt
- Hostname liszt.debian.org
- User madduck
-Host mundy.debian.org | mundy
- Hostname mundy.debian.org
- User madduck
-Host albeniz.debian.org | albeniz
- Hostname albeniz.debian.org
- User madduck
-Host sperger.debian.org | sperger
- Hostname sperger.debian.org
- User madduck
-Host kassia.debian.org | kassia
- Hostname kassia.debian.org
- User madduck
-Host agricola.debian.org | agricola
- Hostname agricola.debian.org
+Host echo.kids.gern | echo.kids | jukebox.kids.gern | jukebox.kids
+ Hostname echo.kids.gern.madduck.net
+ HostKeyAlias echo.kids.gern.madduck.net
+
+Host visitor*.gern.madduck.net | visitor*.gern
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
+
+### ROAD WARRIORS
+
+Host lotus.*
+ CheckHostIP no
+ HostKeyAlias lotus
+ LocalForward localhost:8385 localhost:8384
+
+Host lotus | lotus.rw.madduck.net
+ CheckHostIP no
+ HostKeyAlias lotus
+ #ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{gern,lehel,rw}.madduck.net; eval fping -aAC1 -t500 $TRIES 2>&1 & eval fping6 -aAC1 -t500 $TRIES 2>&1; wait) | sed -rne 's, : ([[:digit:]]), @\1,p' | sort -t@ -k2n | sed -ne 's, .*,,p' | tr '\n' ','); echo Targets: \$TARGETS using \${TARGETS%%%%,*} … >&2; exec nc -F -vq0 \${TARGETS%%%%,*} %p"
+ #ProxyUseFdpass yes
+ LocalForward localhost:8385 localhost:8384
+
+Host ini | ini.dyndns.madduck.net
+ CheckHostIP no
+ HostKeyAlias ini.dyndns.madduck.net
+ HostName ini.dyndns.madduck.net
+ Port 13579
+ User christine
+
+Host emerald | emerald.kids.gern | emerald.rw.madduck.net
+ CheckHostIP no
+ HostKeyAlias emerald
+ HostName emerald.kids.gern
+ LocalForward localhost:5932 localhost:5900
+
+Host lelina | lelina.kids.gern | lelina.rw.madduck.net
+ CheckHostIP no
+ HostKeyAlias lelina
+ HostName lelina.kids.gern
+ LocalForward localhost:5931 localhost:5900
+
+Host mother
+ HostKeyAlias mother
+ Hostname mother.rw.vpn.madduck.net
+ CheckHostIP no
+
+### TILDE CLUB
+
+Host squiggle.city
+ Hostname squiggle.city