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
Hostname vizier.madduck.net
+Host admin.madduck.net | admin
+ Hostname admin.madduck.net
+ HostKeyAlias vizier.madduck.net
+ User git
Host ambassador.madduck.net | ambassador
ForwardAgent yes
Hostname ambassador.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 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 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
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
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 aika.krafftwerk.de | aika
- Hostname aika.krafftwerk.de
-
Host sysyphus.madduck.net | sysyphus
ForwardAgent yes
Hostname sysyphus.madduck.net
Host openvpn.madduck.net | openvpn
HostKeyAlias sysyphus.madduck.net
-Host wots.madduck.net | wots
+### UNI ZURICH MACHINES
+
+Host gig.madduck.net | gig
ForwardAgent yes
- Hostname wots.madduck.net
-Host buildd.debian.madduck.net | buildd
- HostKeyAlias wots.madduck.net
+ Hostname gig.madduck.net
-### UNI ZURICH MACHINES
+Host eugene.madduck.net | eugene
+ ForwardAgent yes
+ Hostname eugene.madduck.net
+Host eugene-luks
+ Hostname eugene.madduck.net
+ User root
Host diamond.madduck.net | diamond
ForwardAgent yes
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
-
-### SWAN / BYTEMARK
+### PIPER / BYTEMARK
-Host swan-host | swan-host.madduck.net
- Hostname swan-host.madduck.net
- User krafft
+Host piper.madduck.net | piper
+ Hostname piper.madduck.net
-Host swan.madduck.net | swan
- ForwardAgent yes
- Hostname swan.madduck.net
-### ARNOLD / GPLHOST
+### CIRRUS / HETZNER
-Host arnold.madduck.net | arnold
- ForwardAgent yes
- Hostname arnold.madduck.net
-Host arnold-host | arnold-host.madduck.net
- Hostname arnold-host.madduck.net
- User xen05
-Host irc
- User madduck
- Hostname arnold.madduck.net
- ConnectTimeout 60
+Host cirrus.madduck.net | cirrus
+ Hostname cirrus.madduck.net
### GERN
Host julia.gern.madduck.net | julia
Hostname julia.gern.madduck.net
ForwardAgent yes
-Host juliae
- Hostname wall.gern.madduck.net
- Port 22002
- CheckHostIP no
- ForwardAgent yes
ForwardX11 yes
- HostKeyAlias julia.gern.madduck.net
+
+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 fishbowl.gern.madduck.net | fishbowl.gern
+Host annex.gern.madduck.net | annex.gern
ForwardAgent yes
- ForwardX11 yes
- HostKeyAlias fishbowl
-
-Host galaxy-s2.phones.gern | galaxy-s2
- Hostname galaxy-s2.phones.gern
- HostKeyAlias galaxy-s2.phones.gern
- User root
+ HostKeyAlias julia.gern.madduck.net
+Host shared.gern.madduck.net | shared.gern
+ ForwardAgent yes
+ HostKeyAlias julia.gern.madduck.net
Host pict.gern.madduck.net | pict
Hostname pict.gern.madduck.net
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
### LEHEL
-Host clegg.lehel.madduck.net | clegg
+Host clegg.lehel.madduck.net | clegg.lehel | clegg
CheckHostIP no
ForwardAgent yes
Hostname clegg.lehel.madduck.net
ForwardAgent yes
ForwardX11 yes
HostKeyAlias albatross.lehel
-Host albatrosse
- Hostname wall.lehel.madduck.net
- Port 22032
- CheckHostIP no
- ForwardAgent yes
- ForwardX11 yes
- HostKeyAlias albatross.lehel
+Host albatross-luks
+ Hostname albatross.lehel.madduck.net
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
+ User root
-Host fishbowl.lehel.madduck.net | fishbowl.lehel
- ForwardAgent yes
- ForwardX11 yes
- HostKeyAlias fishbowl
+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
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
+
### ROAD WARRIORS
-Host fishbowl
+Host fishbowl.*
+ CheckHostIP no
+ ForwardAgent yes
+ ForwardX11 yes
+ HostKeyAlias fishbowl
+
+Host fishbowl | fishbowl.rw.madduck.net
CheckHostIP no
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; exec nc -vq0 \${TARGETS%%%%,*} %p"
+
+### PHONES
+
+Host sgs7e | sgs7e.phones.*
+ Port 2222
+ User admin
+ HostName sgs7e.phones
+
+### LOCAL VIRT HOSTS
+
+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
+ VerifyHostKeyDNS no
+ CheckHostIP no
+ ForwardAgent yes
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
### DEBIAN
-Host scm.alioth.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
- User madduck
-Host svn.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
- 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
- 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
-Host nelson.debconf.org | penta.debconf.org | nelson | summit
+### DEBCONF
+
+Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
Hostname nelson.debconf.org
- ProxyCommand ssh people.debian.org 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
+ 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
+ CheckHostIP no
+ Hostname grimble.mtfk.de
+
+Host lion.mjollnir.org | lion
+ Hostname lion.mjollnir.org
+ User madduck
+
### DEFAULTS
+Match host *.madduck.net
+ StrictHostKeyChecking ask
+ VerifyHostKeyDNS ask
+
Host *
-# AddressFamily any
-# BatchMode no
-# CheckHostIP yes
- Cipher blowfish
-# Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
-# ClearAllForwardings no
-# Compression no
-# CompressionLevel 6
-# ConnectionAttempts 1
+ IgnoreUnknown *
ConnectTimeout 10
ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
ControlMaster auto
ControlPersist 30
-## DSAAuthentication no
-# DynamicForward off
-# EnableSSHKeysign no
-# EscapeChar ~
ExitOnForwardFailure yes
ForwardAgent no
- ForwardX11 no
-# ForwardX11Trusted yes
-# GatewayPorts no
-# GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
+ #ForwardX11 no
+ #ForwardX11Trusted no
HashKnownHosts no
-# HostbasedAuthentication no
- HostKeyAlgorithms ssh-rsa
-# IdentityFile ~/.ssh/identity
- IdentityFile2 ~/.ssh/id_rsa
- IPQoS lowdelay throughput
-# KbdInteractiveDevices pam
-# LocalCommand none
-# LocalForward none
-# LogLevel INFO
- MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
-# NoHostAuthenticationForLocalhost no
NumberOfPasswordPrompts 2
PasswordAuthentication yes
-# PermitLocalCommand no
-# Port 22
-# PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
Protocol 2
-# ProxyCommand
-# PubkeyAuthentication yes
-# RekeyLimit 1G-4G #depends on cipher
-# RemoteForward
-# RhostsRSAAuthentication no
-# RSAAuthentication no
-# ServerAliveCountMax 3
ServerAliveInterval 45
- SetupTimeOut 10
-# SmartcardDevice off
StrictHostKeyChecking yes
-# TCPKeepAlive yes
-# Tunnel no
-# TunnelDevice any:any
-# UsePrivilegedPort no
-# UserKnownHostsFile ~/.ssh/known_hosts
-# VerifyHostKeyDNS no
+ #UpdateHostKeys no
+ VerifyHostKeyDNS ask
VisualHostKey no
-# XAuthLocation /usr/X11R6/bin/xauth