Host alan.madduck.net | alan
ForwardAgent yes
Hostname alan.madduck.net
+Host git.madduck.net | git
+ User git
+ HostKeyAlias alan.madduck.net
Host swan.madduck.net | swan
ForwardAgent yes
Host lotus.madduck.net | lotus
ForwardAgent yes
Hostname lotus.madduck.net
-Host git.madduck.net | git
- User git
- HostKeyAlias lotus.madduck.net
-Host git.debian.ch
- User git
- HostKeyAlias lotus.madduck.net
Host martin-krafft.net
User madduck
HostKeyAlias lotus.madduck.net
Host backup.madduck.net | backup
HostKeyAlias shelter.madduck.net
-Host sergei.ifi.uzh.ch | sergei
- Hostname sergei.ifi.uzh.ch
- User krafft
-Host nikolai.ifi.uzh.ch | nikolai
- Hostname nikolai.ifi.uzh.ch
- User krafft
-Host franz.ifi.uzh.ch | franz
- Hostname franz.ifi.uzh.ch
- User krafft
-
### PIPER / BYTEMARK
Host piper.madduck.net | piper
Host cirrus.madduck.net | cirrus
Hostname cirrus.madduck.net
-### ARNOLD / GPLHOST
-
-Host arnold.madduck.net | arnold
- Hostname arnold.madduck.net
-Host arnold-host | arnold-host.madduck.net
- Hostname arnold-host.madduck.net
- User xen05
-
### GERN
Host wall.gern.madduck.net | wall
Host julia-via-diamond
Hostname julia.gern.madduck.net
- ProxyCommand ssh diamond.madduck.net nc -q0 %h %p
+ ProxyJump diamond.madduck.net
Host git.gern.madduck.net | git.gern
ForwardAgent yes
Host jugband.gern.madduck.net | jugband.gern | jugband
Hostname jugband.gern.madduck.net
ForwardX11 yes
+ ForwardAgent yes
HostKeyAlias jugband.gern
Host visitor*.gern.madduck.net | visitor*.gern | visitor*
Host albatross-via-diamond
Hostname albatross.lehel.madduck.net
- ProxyCommand ssh diamond.madduck.net nc -q0 %h %p
+ ProxyJump diamond.madduck.net
+
+Host visitor*.lehel.madduck.net | visitor*.lehel
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
### GAUTING
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 visitor*.lehel.madduck.net | visitor*.lehel
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
### MOUNT VICTORIA
Hostname atom.mtvic.madduck.net
ForwardAgent yes
+Host atom-via-sysyphus
+ HostKeyAlias atom.mtvic.madduck.net
+ ProxyCommand ssh sysyphus.madduck.net nc -q0 localhost 22015
+
Host bell.mtvic.madduck.net | bell.mtvic | bell | chip
Hostname bell.mtvic.madduck.net
ForwardAgent yes
ForwardAgent yes
ForwardX11 yes
HostKeyAlias fishbowl
- ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{gern,lehel,gauting,mtvic,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; nc -vq0 \${TARGETS%%%%,*} %p"
+ ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{gern,lehel,gauting,mtvic,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 -vq0 \${TARGETS%%%%,*} %p"
### LOCAL VIRT HOSTS
Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
Hostname nelson.debconf.org
- ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
+ ProxyJump sysyphus.madduck.net
Host itchy.debconf.org | itchy | wafer.debconf.org | wafer
Hostname itchy.debconf.org
- ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
+ ProxyJump sysyphus.madduck.net
Host kent.debconf.org | kent
Hostname kent.debconf.org
- ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
-
-### PENNY
-
-Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
- Hostname lion.mjollnir.org
+ ProxyJump sysyphus.madduck.net
### TILDE CLUB
Port 9022
User madduck
-Host tilde.camp
- Hostname tilde.camp
- User madduck
-
Host squiggle.city
Hostname squiggle.city
User madduck
-Host tilde.city
- Hostname 001.tilde.city
- User madduck
-
### NZ
Host workbuffer.org | nz
Hostname github.com
User git
+Host gitlab.com | gitlab
+ Hostname gitlab.com
+ User gitlab
+
+Host gitlab.debian.net | git.fosscommunity.in
+ Hostname gitlab.debian.net
+ User gitlab
+
+Host grimble.mtfk.de | grimble | mtfk | mtfk.ddns.net
+ Hostname grimble.mtfk.de
+ Port 22022
+
### DEFAULTS
Match host *.madduck.net