]> git.madduck.net Git - etc/ssh.git/blobdiff - .ssh/config.in

madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

new host keys for diamond and shelter
[etc/ssh.git] / .ssh / config.in
index bdc3ea254548b2704cb7c8d3f46727b7ec84e05a..3e4c917d432b3bda6512ecc0be1a7c18d2cf7091 100644 (file)
@@ -4,10 +4,6 @@ Host 127.0.0.1 | localhost
   ForwardX11Trusted yes
   NoHostAuthenticationForLocalhost yes
 
   ForwardX11Trusted yes
   NoHostAuthenticationForLocalhost yes
 
-Match host *.madduck.net
-  StrictHostKeyChecking ask
-  VerifyHostKeyDNS ask
-
 ### CHARADE KVM HOST
 
 Host charade.madduck.net | charade
 ### CHARADE KVM HOST
 
 Host charade.madduck.net | charade
@@ -25,6 +21,10 @@ Host emily.madduck.net | emily
 Host matilda.madduck.net | matilda
   ForwardAgent yes
   Hostname matilda.madduck.net
 Host matilda.madduck.net | matilda
   ForwardAgent yes
   Hostname matilda.madduck.net
+Host irc-host.madduck.net | irc-host
+  User madduck
+  HostKeyAlias matilda.madduck.net
+  ConnectTimeout 60
 
 Host vizier.madduck.net | vizier
   ForwardAgent yes
 
 Host vizier.madduck.net | vizier
   ForwardAgent yes
@@ -41,23 +41,34 @@ Host ambassador.madduck.net | ambassador
 Host alan.madduck.net | alan
   ForwardAgent yes
   Hostname alan.madduck.net
 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
   Hostname swan.madduck.net
 
 Host swan.madduck.net | swan
   ForwardAgent yes
   Hostname swan.madduck.net
-Host irc-host.madduck.net | irc-host
-  User madduck
-  HostKeyAlias swan.madduck.net
-  ConnectTimeout 60
 
 Host pulse.madduck.net | pulse
   ForwardAgent yes
   Hostname pulse.madduck.net
 
 
 Host pulse.madduck.net | pulse
   ForwardAgent yes
   Hostname pulse.madduck.net
 
+Host vera.madduck.net | vera
+  ForwardAgent yes
+  Hostname vera.madduck.net
+
 Host seamus.madduck.net | seamus
   ForwardAgent yes
   Hostname seamus.madduck.net
 
 Host seamus.madduck.net | seamus
   ForwardAgent yes
   Hostname seamus.madduck.net
 
+Host cymbaline.madduck.net | cymbaline
+  ForwardAgent yes
+  Hostname cymbaline.madduck.net
+
+Host lunatic.madduck.net | lunatic
+  ForwardAgent yes
+  Hostname lunatic.madduck.net
+
 ### KHYBER KVM HOST
 
 Host khyber.madduck.net | khyber
 ### KHYBER KVM HOST
 
 Host khyber.madduck.net | khyber
@@ -75,12 +86,6 @@ Host bike.madduck.net | bike
 Host lotus.madduck.net | lotus
   ForwardAgent yes
   Hostname lotus.madduck.net
 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 martin-krafft.net
   User madduck
   HostKeyAlias lotus.madduck.net
@@ -91,19 +96,12 @@ Host madduck.net
   User madduck
   HostKeyAlias lotus.madduck.net
 
   User madduck
   HostKeyAlias lotus.madduck.net
 
-Host jugband.madduck.net | jugband
-  ForwardAgent yes
-  Hostname jugband.madduck.net
-
 Host domine.madduck.net | domine
   ForwardAgent yes
   Hostname domine.madduck.net
 Host imap.madduck.net
   HostKeyAlias domine.madduck.net
 
 Host domine.madduck.net | domine
   ForwardAgent yes
   Hostname domine.madduck.net
 Host imap.madduck.net
   HostKeyAlias domine.madduck.net
 
-Host aika.krafftwerk.de | aika
-  Hostname aika.krafftwerk.de
-
 Host sysyphus.madduck.net | sysyphus
   ForwardAgent yes
   Hostname sysyphus.madduck.net
 Host sysyphus.madduck.net | sysyphus
   ForwardAgent yes
   Hostname sysyphus.madduck.net
@@ -116,6 +114,10 @@ Host openvpn.madduck.net | openvpn
 
 ### UNI ZURICH MACHINES
 
 
 ### UNI ZURICH MACHINES
 
+Host eugene.madduck.net | eugene
+  ForwardAgent yes
+  Hostname eugene.madduck.net
+
 Host diamond.madduck.net | diamond
   ForwardAgent yes
   Hostname diamond.madduck.net
 Host diamond.madduck.net | diamond
   ForwardAgent yes
   Hostname diamond.madduck.net
@@ -143,16 +145,6 @@ Host shelter.madduck.net | shelter
 Host backup.madduck.net | backup
   HostKeyAlias shelter.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
 ### PIPER / BYTEMARK
 
 Host piper.madduck.net | piper
@@ -163,14 +155,6 @@ Host piper.madduck.net | piper
 Host cirrus.madduck.net | cirrus
   Hostname cirrus.madduck.net
 
 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
 ### GERN
 
 Host wall.gern.madduck.net | wall
@@ -183,6 +167,10 @@ Host julia.gern.madduck.net | julia
   ForwardAgent yes
   ForwardX11 yes
 
   ForwardAgent yes
   ForwardX11 yes
 
+Host julia-via-diamond
+  Hostname julia.gern.madduck.net
+  ProxyJump diamond.madduck.net
+
 Host git.gern.madduck.net | git.gern
   ForwardAgent yes
   HostKeyAlias julia.gern.madduck.net
 Host git.gern.madduck.net | git.gern
   ForwardAgent yes
   HostKeyAlias julia.gern.madduck.net
@@ -198,6 +186,12 @@ Host pict.gern.madduck.net | pict
   ForwardAgent yes
   ForwardX11 yes
 
   ForwardAgent yes
   ForwardX11 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*
   StrictHostKeyChecking no
   UserKnownHostsFile /dev/null
 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
   StrictHostKeyChecking no
   UserKnownHostsFile /dev/null
@@ -214,6 +208,19 @@ Host albatross.lehel.madduck.net | albatross.lehel | albatross
   ForwardAgent yes
   ForwardX11 yes
   HostKeyAlias albatross.lehel
   ForwardAgent yes
   ForwardX11 yes
   HostKeyAlias albatross.lehel
+Host albatross-luks
+  Hostname albatross.lehel.madduck.net
+  StrictHostKeyChecking no
+  UserKnownHostsFile /dev/null
+  User root
+
+Host albatross-via-diamond
+  Hostname albatross.lehel.madduck.net
+  ProxyJump diamond.madduck.net
+
+Host visitor*.lehel.madduck.net | visitor*.lehel
+  StrictHostKeyChecking no
+  UserKnownHostsFile /dev/null
 
 ### GAUTING
 
 
 ### GAUTING
 
@@ -235,17 +242,9 @@ Host mothere
   ForwardX11 yes
   HostKeyAlias mother.gauting.madduck.net
 
   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
 
 
 ### MOUNT VICTORIA
 
@@ -253,6 +252,14 @@ Host atom.mtvic.madduck.net | atom.mtvic | atom
   Hostname atom.mtvic.madduck.net
   ForwardAgent yes
 
   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
+
 ### ROAD WARRIORS
 
 Host fishbowl.*
 ### ROAD WARRIORS
 
 Host fishbowl.*
@@ -266,640 +273,62 @@ Host fishbowl | fishbowl.rw.madduck.net
   ForwardAgent yes
   ForwardX11 yes
   HostKeyAlias fishbowl
   ForwardAgent yes
   ForwardX11 yes
   HostKeyAlias fishbowl
-  ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{gern,lehel,rw}.madduck.net; eval fping -aAC1 -t100 $TRIES; eval fping6 -aAC1 -t100 $TRIES; wait) 2>&1 | 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"
+
+### PHONES
+
+Host sgs7e | sgs7e.phones.*
+  Port 2222
+  User admin
+  HostName sgs7e.phones
 
 ### LOCAL VIRT HOSTS
 
 
 ### LOCAL VIRT HOSTS
 
-Host *.virt | 192.168.122.* | red | green | blue | yellow | black | white | orange | violet
-  CheckHostIP no
-  ForwardAgent yes
-  StrictHostKeyChecking no
-  UserKnownHostsFile /dev/null
-  ControlMaster no
+Host wafer.virt
+  RemoteForward 25000 localhost:25
+  ForwardX11 yes
+
+Host red | green | blue | yellow | black | white | orange | violet | wafer
   CanonicalDomains virt
   CanonicalizeHostname yes
   CanonicalizeFallbackLocal no
   CanonicalizeMaxDots 0
   CanonicalDomains virt
   CanonicalizeHostname yes
   CanonicalizeFallbackLocal no
   CanonicalizeMaxDots 0
+  VerifyHostKeyDNS no
+  CheckHostIP no
+  ForwardAgent yes
+  StrictHostKeyChecking no
+  UserKnownHostsFile /dev/null
 
 ### DEBIAN
 
 
 ### DEBIAN
 
-Match host *.debian.org
-  StrictHostKeyChecking ask
-  VerifyHostKeyDNS ask
-
-Host scm.alioth.debian.org
-  HostKeyAlias moszumanska.debian.org
-  User madduck
-Host svn.debian.org
+Host alioth.debian.org | anonscm.alioth.debian.org | svn.debian.org | git.debian.org | hg.debian.org | cvs.debian.org
   HostKeyAlias moszumanska.debian.org
   HostKeyAlias moszumanska.debian.org
-  User madduck
-Host git.debian.org
-  HostKeyAlias moszumanska.debian.org
-  User madduck
-Host hg.debian.org
-  HostKeyAlias moszumanska.debian.org
-  User madduck
-Host cvs.debian.org
-  HostKeyAlias moszumanska.debian.org
-  User madduck
 
 Host people.debian.org | people
   Hostname people.debian.org
   HostKeyAlias paradis.debian.org
 
 Host people.debian.org | people
   Hostname people.debian.org
   HostKeyAlias paradis.debian.org
-  User madduck
 
 
-Host abel.debian.org | abel
-  Hostname abel.debian.org
-  User madduck
-Host adayevskaya.debian.org | adayevskaya
-  Hostname adayevskaya.debian.org
-  User madduck
-Host alkman.debian.org | alkman
-  Hostname alkman.debian.org
-  User madduck
-Host alwyn.debian.org | alwyn
-  Hostname alwyn.debian.org
-  User madduck
-Host ancina.debian.org | ancina
-  Hostname ancina.debian.org
-  User madduck
-Host antheil.debian.org | antheil
-  Hostname antheil.debian.org
-  User madduck
-Host arnold.debian.org
-  Hostname arnold.debian.org
-  User madduck
-Host asdfasdf.debian.net | asdfasdf
-  Hostname asdfasdf.debian.net
-  User madduck
-Host babin.debian.org | babin
-  Hostname babin.debian.org
-  User madduck
-Host backuphost.debian.org | backuphost
-  Hostname backuphost.debian.org
-  User madduck
-Host ball.debian.org | ball
-  Hostname ball.debian.org
-  User madduck
-Host barber.debian.org | barber
-  Hostname barber.debian.org
-  User madduck
-Host barriere.debian.org | barriere
-  Hostname barriere.debian.org
-  User madduck
-Host beach.debian.org | beach
-  Hostname beach.debian.org
-  User madduck
-Host beethoven.debian.org | beethoven
-  Hostname beethoven.debian.org
-  User madduck
-Host bendel.debian.org | bendel
-  Hostname bendel.debian.org
-  User madduck
-Host berlioz.debian.org | berlioz
-  Hostname berlioz.debian.org
-  User madduck
-Host bertali.debian.org | bertali
-  Hostname bertali.debian.org
-  User madduck
-Host biber.debian.org | biber
-  Hostname biber.debian.org
-  User madduck
-Host binet.debian.org | binet
-  Hostname binet.debian.org
-  User madduck
-Host bizet.debian.org | bizet
-  Hostname bizet.debian.org
-  User madduck
-Host blavet.debian.org | blavet
-  Hostname blavet.debian.org
-  User madduck
-Host bm-bl1.debian.org | bm-bl1
-  Hostname bm-bl1.debian.org
-  User madduck
-Host bm-bl10.debian.org | bm-bl10
-  Hostname bm-bl10.debian.org
-  User madduck
-Host bm-bl11.debian.org | bm-bl11
-  Hostname bm-bl11.debian.org
-  User madduck
-Host bm-bl12.debian.org | bm-bl12
-  Hostname bm-bl12.debian.org
-  User madduck
-Host bm-bl2.debian.org | bm-bl2
-  Hostname bm-bl2.debian.org
-  User madduck
-Host bm-bl3.debian.org | bm-bl3
-  Hostname bm-bl3.debian.org
-  User madduck
-Host bm-bl4.debian.org | bm-bl4
-  Hostname bm-bl4.debian.org
-  User madduck
-Host bm-bl5.debian.org | bm-bl5
-  Hostname bm-bl5.debian.org
-  User madduck
-Host bm-bl6.debian.org | bm-bl6
-  Hostname bm-bl6.debian.org
-  User madduck
-Host bm-bl7.debian.org | bm-bl7
-  Hostname bm-bl7.debian.org
-  User madduck
-Host bm-bl8.debian.org | bm-bl8
-  Hostname bm-bl8.debian.org
-  User madduck
-Host bm-bl9.debian.org | bm-bl9
-  Hostname bm-bl9.debian.org
-  User madduck
-Host bmdb1.debian.org | bmdb1
-  Hostname bmdb1.debian.org
-  User madduck
-Host boito.debian.org | boito
-  Hostname boito.debian.org
-  User madduck
-Host brahms.debian.org | brahms
-  Hostname brahms.debian.org
-  User madduck
-Host busoni.debian.org | busoni
-  Hostname busoni.debian.org
-  User madduck
-Host buxtehude.debian.org | buxtehude
-  Hostname buxtehude.debian.org
-  User madduck
-Host byrd.debian.org | byrd
-  Hostname byrd.debian.org
-  User madduck
-Host caballero.debian.org | caballero
-  Hostname caballero.debian.org
-  User madduck
-Host chopin.debian.org | chopin
-  Hostname chopin.debian.org
-  User madduck
-Host clementi.debian.org | clementi
-  Hostname clementi.debian.org
-  User madduck
-Host coccia.debian.org | coccia
-  Hostname coccia.debian.org
-  User madduck
-Host corelli.debian.org | corelli
-  Hostname corelli.debian.org
-  User madduck
-Host couper.debian.org | couper
-  Hostname couper.debian.org
-  User madduck
-Host czerny.debian.org | czerny
-  Hostname czerny.debian.org
-  User madduck
-Host danzi.debian.org | danzi
-  Hostname danzi.debian.org
-  User madduck
-Host delfin.debian.org | delfin
-  Hostname delfin.debian.org
-  User madduck
-Host denis.debian.org | denis
-  Hostname denis.debian.org
-  User madduck
-Host diabelli.debian.org | diabelli
-  Hostname diabelli.debian.org
-  User madduck
-Host dijkstra.debian.org | dijkstra
-  Hostname dijkstra.debian.org
-  User madduck
-Host dillon.debian.org | dillon
-  Hostname dillon.debian.org
-  User madduck
-Host dinis.debian.org | dinis
-  Hostname dinis.debian.org
-  User madduck
-Host donizetti.debian.org | donizetti
-  Hostname donizetti.debian.org
-  User madduck
-Host draghi.debian.org | draghi
-  Hostname draghi.debian.org
-  User madduck
-Host dukas.debian.org | dukas
-  Hostname dukas.debian.org
-  User madduck
-Host eberlin.debian.org | eberlin
-  Hostname eberlin.debian.org
-  User madduck
-Host eder.debian.org | eder
-  Hostname eder.debian.org
-  User madduck
-Host elgar.debian.org | elgar
-  Hostname elgar.debian.org
-  User madduck
-Host exodar.debian.net | exodar
-  Hostname exodar.debian.net
-  User madduck
-Host eysler.debian.org | eysler
-  Hostname eysler.debian.org
-  User madduck
-Host falla.debian.org | falla
-  Hostname falla.debian.org
-  User madduck
-Host fano.debian.org | fano
-  Hostname fano.debian.org
-  User madduck
-Host fayrfax.debian.org | fayrfax
-  Hostname fayrfax.debian.org
-  User madduck
-Host fils.debian.org | fils
-  Hostname fils.debian.org
-  User madduck
-Host finzi.debian.org | finzi
-  Hostname finzi.debian.org
-  User madduck
-Host fischer.debian.org | fischer
-  Hostname fischer.debian.org
-  User madduck
-Host franck.debian.org | franck
-  Hostname franck.debian.org
-  User madduck
-Host gabrielli.debian.org | gabrielli
-  Hostname gabrielli.debian.org
-  User madduck
-Host geo1.debian.org | geo1
-  Hostname geo1.debian.org
-  User madduck
-Host geo2.debian.org | geo2
-  Hostname geo2.debian.org
-  User madduck
-Host geo3.debian.org | geo3
-  Hostname geo3.debian.org
-  User madduck
-Host glinka.debian.org | glinka
-  Hostname glinka.debian.org
-  User madduck
-Host gluck.debian.org | gluck
-  Hostname gluck.debian.org
-  User madduck
-Host gombert.debian.org | gombert
-  Hostname gombert.debian.org
-  User madduck
-Host handel.debian.org | handel
-  Hostname handel.debian.org
-  User madduck
-Host harris.debian.org | harris
-  Hostname harris.debian.org
-  User madduck
-Host hartmann.debian.org | hartmann
-  Hostname hartmann.debian.org
-  User madduck
-Host hasse.debian.org | hasse
-  Hostname hasse.debian.org
-  User madduck
-Host henze.debian.org | henze
-  Hostname henze.debian.org
-  User madduck
-Host hoiby.debian.org | hoiby
-  Hostname hoiby.debian.org
-  User madduck
-Host howells.debian.org | howells
-  Hostname howells.debian.org
-  User madduck
-Host hummel.debian.org | hummel
-  Hostname hummel.debian.org
-  User madduck
-Host io.debian.net | io
-  Hostname io.debian.net
-  User madduck
-Host ipa.debian.net | ipa
-  Hostname ipa.debian.net
-  User madduck
-Host jenkins.debian.org | jenkins
-  Hostname jenkins.debian.org
-  User madduck
-Host kaufmann.debian.org | kaufmann
-  Hostname kaufmann.debian.org
-  User madduck
-Host klecker.debian.org | klecker
-  Hostname klecker.debian.org
-  User madduck
-Host lebrun.debian.org | lebrun
-  Hostname lebrun.debian.org
-  User madduck
-Host lilburn.debian.org | lilburn
-  Hostname lilburn.debian.org
-  User madduck
-Host lobos.debian.org | lobos
-  Hostname lobos.debian.org
-  User madduck
-Host lotti.debian.org | lotti
-  Hostname lotti.debian.org
-  User madduck
-Host lucatelli.debian.org | lucatelli
-  Hostname lucatelli.debian.org
-  User madduck
-Host luchesi.debian.org | luchesi
-  Hostname luchesi.debian.org
-  User madduck
-Host lully.debian.org | lully
-  Hostname lully.debian.org
-  User madduck
-Host lw01.debian.org | lw01
-  Hostname lw01.debian.org
-  User madduck
-Host lw02.debian.org | lw02
-  Hostname lw02.debian.org
-  User madduck
-Host lw03.debian.org | lw03
-  Hostname lw03.debian.org
-  User madduck
-Host lw04.debian.org | lw04
-  Hostname lw04.debian.org
-  User madduck
-Host lw07.debian.org | lw07
-  Hostname lw07.debian.org
-  User madduck
-Host lw08.debian.org | lw08
-  Hostname lw08.debian.org
-  User madduck
-Host mailly.debian.org | mailly
-  Hostname mailly.debian.org
-  User madduck
 Host master.debian.org | master
   Hostname master.debian.org
 Host master.debian.org | master
   Hostname master.debian.org
-  User madduck
-Host mayer.debian.org | mayer
-  Hostname mayer.debian.org
-  User madduck
-Host mayr.debian.org | mayr
-  Hostname mayr.debian.org
-  User madduck
-Host menotti.debian.org | menotti
-  Hostname menotti.debian.org
-  User madduck
-Host merulo.debian.org | merulo
-  Hostname merulo.debian.org
-  User madduck
-Host milanollo.debian.org | milanollo
-  Hostname milanollo.debian.org
-  User madduck
-Host mipsel-manda-01.debian.org | mipsel-manda-01
-  Hostname mipsel-manda-01.debian.org
-  User madduck
-Host mipsel-manda-02.debian.org | mipsel-manda-02
-  Hostname mipsel-manda-02.debian.org
-  User madduck
-Host moszumanska.debian.org | moszumanska
-  Hostname moszumanska.debian.org
-  User madduck
-Host muffat.debian.org | muffat
-  Hostname muffat.debian.org
-  User madduck
-Host mundy.debian.org | mundy
-  Hostname mundy.debian.org
-  User madduck
-Host murphy.debian.org | murphy
-  Hostname murphy.debian.org
-  User madduck
-Host nono.debian.org | nono
-  Hostname nono.debian.org
-  User madduck
-Host oyens.debian.org | oyens
-  Hostname oyens.debian.org
-  User madduck
-Host paradis.debian.org | paradis
-  Hostname paradis.debian.org
-  User madduck
-Host parry.debian.org | parry
-  Hostname parry.debian.org
-  User madduck
-Host partch.debian.org | partch
-  Hostname partch.debian.org
-  User madduck
-Host pasquini.debian.org | pasquini
-  Hostname pasquini.debian.org
-  User madduck
-Host pastel.debian.net | pastel
-  Hostname pastel.debian.net
-  User madduck
-Host pejacevic.debian.org | pejacevic
-  Hostname pejacevic.debian.org
-  User madduck
-Host peri.debian.org | peri
-  Hostname peri.debian.org
-  User madduck
-Host petrova.debian.org | petrova
-  Hostname petrova.debian.org
-  User madduck
-Host pettersson.debian.org | pettersson
-  Hostname pettersson.debian.org
-  User madduck
-Host philp.debian.org | philp
-  Hostname philp.debian.org
-  User madduck
-Host picconi.debian.org | picconi
-  Hostname picconi.debian.org
-  User madduck
-Host piu-slave-bm-a.debian.org | piu-slave-bm-a
-  Hostname piu-slave-bm-a.debian.org
-  User madduck
-Host pkgmirror-1and1.debian.org | pkgmirror-1and1
-  Hostname pkgmirror-1and1.debian.org
-  User madduck
-Host popov.debian.org | popov
-  Hostname popov.debian.org
-  User madduck
-Host porpora.debian.org | porpora
-  Hostname porpora.debian.org
-  User madduck
-Host portman.debian.org | portman
-  Hostname portman.debian.org
-  User madduck
-Host poulenc.debian.org | poulenc
-  Hostname poulenc.debian.org
-  User madduck
-Host powell.debian.org | powell
-  Hostname powell.debian.org
-  User madduck
-Host praetorius.debian.org | praetorius
-  Hostname praetorius.debian.org
-  User madduck
-Host quantz.debian.org | quantz
-  Hostname quantz.debian.org
-  User madduck
-Host rainier.debian.org | rainier
-  Hostname rainier.debian.org
-  User madduck
-Host rapoport.debian.org | rapoport
-  Hostname rapoport.debian.org
-  User madduck
-Host rautavaara.debian.org | rautavaara
-  Hostname rautavaara.debian.org
-  User madduck
-Host ravel.debian.org | ravel
-  Hostname ravel.debian.org
-  User madduck
-Host reger.debian.org | reger
-  Hostname reger.debian.org
-  User madduck
-Host rem.debian.org | rem
-  Hostname rem.debian.org
-  User madduck
-Host ries.debian.org | ries
-  Hostname ries.debian.org
-  User madduck
-Host rietz.debian.org | rietz
-  Hostname rietz.debian.org
-  User madduck
-Host rossini.debian.org | rossini
-  Hostname rossini.debian.org
-  User madduck
-Host saens.debian.org | saens
-  Hostname saens.debian.org
-  User madduck
-Host salieri.debian.org | salieri
-  Hostname salieri.debian.org
-  User madduck
-Host santoro.debian.org | santoro
-  Hostname santoro.debian.org
-  User madduck
-Host scelsi.debian.org | scelsi
-  Hostname scelsi.debian.org
-  User madduck
-Host schein.debian.org | schein
-  Hostname schein.debian.org
-  User madduck
-Host schroeder.debian.org | schroeder
-  Hostname schroeder.debian.org
-  User madduck
-Host schumann.debian.org | schumann
-  Hostname schumann.debian.org
-  User madduck
-Host sechter.debian.org | sechter
-  Hostname sechter.debian.org
-  User madduck
-Host senfl.debian.org | senfl
-  Hostname senfl.debian.org
-  User madduck
-Host senfter.debian.org | senfter
-  Hostname senfter.debian.org
-  User madduck
-Host sh4.g15.jp | sh4
-  Hostname sh4.g15.jp
-  User madduck
-Host sibelius.debian.org | sibelius
-  Hostname sibelius.debian.org
-  User madduck
-Host smetana.debian.org | smetana
-  Hostname smetana.debian.org
-  User madduck
-Host soler.debian.org | soler
-  Hostname soler.debian.org
-  User madduck
-Host sompek.debian.org | sompek
-  Hostname sompek.debian.org
-  User madduck
-Host sonntag.debian.org | sonntag
-  Hostname sonntag.debian.org
-  User madduck
-Host spohr.debian.org | spohr
-  Hostname spohr.debian.org
-  User madduck
-Host spontini.debian.org | spontini
-  Hostname spontini.debian.org
-  User madduck
-Host stabile.debian.org | stabile
-  Hostname stabile.debian.org
-  User madduck
-Host stadler.debian.org | stadler
-  Hostname stadler.debian.org
-  User madduck
-Host steffani.debian.org | steffani
-  Hostname steffani.debian.org
-  User madduck
-Host stockhausen.debian.org | stockhausen
-  Hostname stockhausen.debian.org
-  User madduck
-Host storace.debian.org | storace
-  Hostname storace.debian.org
-  User madduck
-Host strauss.debian.net | strauss
-  Hostname strauss.debian.net
-  User madduck
-Host sumotsu.debian.net | sumotsu
-  Hostname sumotsu.debian.net
-  User madduck
-Host tchaikovsky.debian.org | tchaikovsky
-  Hostname tchaikovsky.debian.org
-  User madduck
-Host ticharich.debian.org | ticharich
-  Hostname ticharich.debian.org
-  User madduck
-Host traetta.debian.org | traetta
-  Hostname traetta.debian.org
-  User madduck
-Host tristano.debian.org | tristano
-  Hostname tristano.debian.org
-  User madduck
-Host tye.debian.org | tye
-  Hostname tye.debian.org
-  User madduck
-Host ullmann.debian.org | ullmann
-  Hostname ullmann.debian.org
-  User madduck
-Host unger.debian.org | unger
-  Hostname unger.debian.org
-  User madduck
-Host vasks.debian.org | vasks
-  Hostname vasks.debian.org
-  User madduck
-Host vento.debian.org | vento
-  Hostname vento.debian.org
-  User madduck
-Host villa.debian.org | villa
-  Hostname villa.debian.org
-  User madduck
-Host vitry.debian.org | vitry
-  Hostname vitry.debian.org
-  User madduck
-Host vogler.debian.org | vogler
-  Hostname vogler.debian.org
-  User madduck
-Host wagner.debian.org | wagner
-  Hostname wagner.debian.org
-  User madduck
-Host wieck.debian.org | wieck
-  Hostname wieck.debian.org
-  User madduck
-Host wilder.debian.org | wilder
-  Hostname wilder.debian.org
-  User madduck
-Host wolkenstein.debian.org | wolkenstein
-  Hostname wolkenstein.debian.org
-  User madduck
-Host wuiet.debian.org | wuiet
-  Hostname wuiet.debian.org
-  User madduck
-Host xoothais.err.no | xoothais
-  Hostname xoothais.err.no
-  User madduck
-Host zandonai.debian.org | zandonai
-  Hostname zandonai.debian.org
-  User madduck
-Host zani.debian.org | zani
-  Hostname zani.debian.org
-  User madduck
-Host zelenka.debian.org | zelenka
-  Hostname zelenka.debian.org
-  User madduck
-Host zemlinsky.debian.org | zemlinsky
-  Hostname zemlinsky.debian.org
+
+Match host *.debian.org
+  StrictHostKeyChecking ask
+  VerifyHostKeyDNS ask
   User madduck
 
   User madduck
 
+### DEBCONF
+
 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
   Hostname nelson.debconf.org
 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
+  ProxyJump sysyphus.madduck.net
 
 Host kent.debconf.org | kent
   Hostname kent.debconf.org
 
 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
 
 
 ### TILDE CLUB
 
@@ -908,18 +337,10 @@ Host remotes.club
   Port 9022
   User madduck
 
   Port 9022
   User madduck
 
-Host tilde.camp
-  Hostname tilde.camp
-  User madduck
-
 Host squiggle.city
   Hostname squiggle.city
   User madduck
 
 Host squiggle.city
   Hostname squiggle.city
   User madduck
 
-Host tilde.city
-  Hostname 001.tilde.city
-  User madduck
-
 ### NZ
 
 Host workbuffer.org | nz
 ### NZ
 
 Host workbuffer.org | nz
@@ -932,8 +353,28 @@ Host github.com | github
   Hostname github.com
   User git
 
   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
+  CheckHostIP no
+  Hostname grimble.mtfk.de
+
+Host lion.mjollnir.org | lion
+  Hostname lion.mjollnir.org
+  User madduck
+
 ### DEFAULTS
 
 ### DEFAULTS
 
+Match host *.madduck.net
+  StrictHostKeyChecking ask
+  VerifyHostKeyDNS ask
+
 Host *
   IgnoreUnknown *
   ConnectTimeout 10
 Host *
   IgnoreUnknown *
   ConnectTimeout 10
@@ -942,14 +383,14 @@ Host *
   ControlPersist 30
   ExitOnForwardFailure yes
   ForwardAgent no
   ControlPersist 30
   ExitOnForwardFailure yes
   ForwardAgent no
-  ForwardX11 no
-  ForwardX11Trusted no
+  #ForwardX11 no
+  #ForwardX11Trusted no
   HashKnownHosts no
   NumberOfPasswordPrompts 2
   PasswordAuthentication yes
   Protocol 2
   ServerAliveInterval 45
   StrictHostKeyChecking yes
   HashKnownHosts no
   NumberOfPasswordPrompts 2
   PasswordAuthentication yes
   Protocol 2
   ServerAliveInterval 45
   StrictHostKeyChecking yes
-  UpdateHostKeys ask
+  #UpdateHostKeys no
   VerifyHostKeyDNS ask
   VisualHostKey no
   VerifyHostKeyDNS ask
   VisualHostKey no