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:

add workbuffer.org
[etc/ssh.git] / .ssh / config.in
index c3d91ff..71942f6 100644 (file)
@@ -4,43 +4,29 @@ Host 127.0.0.1 | localhost
   ForwardX11Trusted yes
   NoHostAuthenticationForLocalhost yes
 
-Host pulse.madduck.net | pulse
-  ForwardAgent yes
-  Hostname pulse.madduck.net
-  #AddressFamily inet
-Host svn.madduck.net | svn
-  User madduck
-  HostKeyAlias pulse.madduck.net
-Host scratch.madduck.net | scratch
-  User madduck
-  HostKeyAlias pulse.madduck.net
-  #AddressFamily inet
-Host debian.madduck.net | debian
-  User madduck
-  HostKeyAlias pulse.madduck.net
-  #AddressFamily inet
-Host openvpn.madduck.net | openvpn
-  User madduck
-  HostKeyAlias pulse.madduck.net
-  #AddressFamily inet
-Host ssh443.madduck.net | ssh443
-  User madduck
-  HostKeyAlias pulse.madduck.net
+### CHARADE KVM HOST
+
+Host charade.madduck.net | charade
   ForwardAgent yes
-  Port 443
-Host backup.madduck.net | backup
-  HostKeyAlias pulse.madduck.net
-  #AddressFamily inet
+  Hostname charade.madduck.net
+Host charade-vnc
+  ControlMaster no
+  ControlPath none
+  Hostname charade.madduck.net
+
+### KHYBER KVM HOST
 
 Host khyber.madduck.net | khyber
   ForwardAgent yes
   Hostname khyber.madduck.net
+Host khyber-vnc
+  ControlMaster no
+  ControlPath none
+  Hostname khyber.madduck.net
 
-Host wots.madduck.net | wots
+Host vera.madduck.net | vera
   ForwardAgent yes
-  Hostname wots.madduck.net
-Host buildd.debian.madduck.net | buildd
-  HostKeyAlias wots.madduck.net
+  Hostname vera.madduck.net
 
 Host lotus.madduck.net | lotus
   ForwardAgent yes
@@ -51,125 +37,168 @@ Host git.madduck.net | git
 Host git.debian.ch
   User git
   HostKeyAlias lotus.madduck.net
+Host martin-krafft.net
+  User madduck
+  HostKeyAlias lotus.madduck.net
+Host phd.martin-krafft.net
+  User madduck
+  HostKeyAlias lotus.madduck.net
+Host madduck.net
+  User madduck
+  HostKeyAlias lotus.madduck.net
 
 Host jugband.madduck.net | jugband
   ForwardAgent yes
   Hostname jugband.madduck.net
 
-Host vera.madduck.net | vera
+Host domine.madduck.net | domine
   ForwardAgent yes
-  Hostname vera.madduck.net
+  Hostname domine.madduck.net
+Host irc
+  User madduck
+  Hostname domine.madduck.net
+  ConnectTimeout 60
+Host imap.madduck.net
+  HostKeyAlias domine.madduck.net
 
-Host swan-host | swan-host.madduck.net
-  Hostname swan-host.madduck.net
-  User krafft
+Host aika.krafftwerk.de | aika
+  Hostname aika.krafftwerk.de
 
-Host swan.madduck.net | swan
+Host vizier.madduck.net | vizier
   ForwardAgent yes
-  Hostname swan.madduck.net
+  Hostname vizier.madduck.net
 
-Host domine.madduck.net | domine
+Host sysyphus.madduck.net | sysyphus
   ForwardAgent yes
-  Hostname domine.madduck.net
+  Hostname sysyphus.madduck.net
+Host ssh443.madduck.net | ssh443
+  HostKeyAlias sysyphus.madduck.net
+  ForwardAgent yes
+  Port 443
+Host openvpn.madduck.net | openvpn
+  HostKeyAlias sysyphus.madduck.net
 
-Host irc
-  Hostname bell.madduck.net
+Host wots.madduck.net | wots
+  ForwardAgent yes
+  Hostname wots.madduck.net
+Host buildd.debian.madduck.net | buildd
+  HostKeyAlias wots.madduck.net
 
-Host martin-krafft.net
-  User madduck
-  HostKeyAlias seamus.madduck.net
-Host phd.martin-krafft.net
-  User madduck
-  HostKeyAlias seamus.madduck.net
-Host madduck.net
-  User madduck
-  HostKeyAlias seamus.madduck.net
-Host imap.madduck.net
-  HostKeyAlias seamus.madduck.net
+### UNI ZURICH MACHINES
 
-Host bell.madduck.net | bell
+Host diamond.madduck.net | diamond
   ForwardAgent yes
-  Hostname bell.madduck.net
+  Hostname diamond.madduck.net
+Host debian.madduck.net | debian
+  HostKeyAlias diamond.madduck.net
+Host scratch.madduck.net | scratch
+  User madduck
+  HostKeyAlias diamond.madduck.net
 Host tunes.madduck.net | tunes
   AddressFamily inet
   ControlMaster no
   Hostname tunes.madduck.net
-  HostKeyAlias bell.madduck.net
-
-Host diamond.madduck.net | diamond
-  ForwardAgent yes
-  Hostname diamond.madduck.net
+  HostKeyAlias diamond.madduck.net
+  IPQoS lowdelay af13
+Host flics.madduck.net | flics
+  AddressFamily inet
+  ControlMaster no
+  Hostname flics.madduck.net
+  HostKeyAlias diamond.madduck.net
+  IPQoS lowdelay af13
 
 Host shelter.madduck.net | shelter
   ForwardAgent yes
   Hostname shelter.madduck.net
+Host backup.madduck.net | backup
+  HostKeyAlias shelter.madduck.net
 
-Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
-  Hostname sheep.umverkehr.ch
-  User madduck
+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
 
-Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
-  CheckHostIP no
-  ForwardAgent yes
-  ForwardX11 yes
+### SWAN / BYTEMARK
 
-Host fishbowl.rw.madduck.net | fishbowl.oerlikon.madduck.net | fishbowl
-  CheckHostIP no
+Host swan-host | swan-host.madduck.net
+  Hostname swan-host.madduck.net
+  User krafft
+
+Host swan.madduck.net | swan
   ForwardAgent yes
-  ForwardX11 yes
+  Hostname swan.madduck.net
 
-Host wall.oerlikon.madduck.net | wall
+### ARNOLD / GPLHOST
+#
+Host arnold-host | arnold-host.madduck.net
+  Hostname arnold-host.madduck.net
+  User xen05
+
+### GERN
+
+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
+Host juliae
+  Hostname wall.gern.madduck.net
+  Port 22002
   CheckHostIP no
   ForwardAgent yes
-  Hostname embryo.gauting.madduck.net
-  HostKeyAlias embryo.gauting.madduck.net
+  ForwardX11 yes
+  HostKeyAlias julia.gern.madduck.net
 
-Host piper.oerlikon.madduck.net | piper
-  Hostname piper.oerlikon.madduck.net
+Host albatross.gern.madduck.net | albatross
+  Hostname albatross.gern.madduck.net
   ForwardAgent yes
   ForwardX11 yes
-#  AddressFamily inet
-Host pipere
-  Hostname wall.oerlikon.madduck.net
-  Port 22223
+Host albatrosse
+  Hostname wall.gern.madduck.net
+  Port 22032
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
-  HostKeyAlias piper.oerlikon.madduck.net
+  HostKeyAlias albatross.gern.madduck.net
+
+Host galaxy-s2.phones.gern | galaxy-s2
+  Hostname galaxy-s2.phones.gern
+  User root
 
-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 visitor*.gern.madduck.net | visitor*.gern | visitor*
+  StrictHostKeyChecking no
+  UserKnownHostsFile /dev/null
+
+### LEHEL
+
+Host clegg.lehel.madduck.net | clegg
   CheckHostIP no
   ForwardAgent yes
-  ForwardX11 yes
-  User user
+  Hostname clegg.lehel.madduck.net
 
-Host auge-fr.no-ip.org | auge
-  CheckHostIP no
-  Hostname auge-fr.no-ip.org
-  HostKeyAlias helena.home.mjollnir.org
+### GAUTING
 
-Host hermia.home.mjollnir.org | hermia | lust.oerlikon.madduck.net | lust
+Host embryo.gauting.madduck.net | embryo
   CheckHostIP no
-  ForwardX11 yes
-  HostKeyAlias hermia.home.mjollnir.org
+  ForwardAgent yes
+  Hostname embryo.gauting.madduck.net
+  HostKeyAlias embryo.gauting.madduck.net
 
-Host mother.gauting.madduck.net | mother
-  Hostname mother.gauting.madduck.net
+Host mother.gauting | mother | mother.gauting.madduck.net
+  Hostname mother.gauting
   ForwardAgent yes
   ForwardX11 yes
 Host mothere
@@ -192,234 +221,165 @@ Host bricke
   ForwardX11 yes
   HostKeyAlias brick.gauting.madduck.net
 
-Host zlinli.no-ip.org | zlinli
+### ROAD WARRIORS
+
+Host lapse.rw.madduck.net | lapse.gern.madduck.net | lapse
+  CheckHostIP no
+  ForwardAgent yes
+  ForwardX11 yes
+
+Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
   CheckHostIP no
-  Hostname zlinli.no-ip.org
+  ForwardAgent yes
+  ForwardX11 yes
 
-Host debian-community.org | bikeshed.debian-community.org | bikeshed
-  Hostname bikeshed.debian-community.org
-  User madduck
-  ForwardAgent no
-  ForwardX11 no
+### DEBIAN
 
-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
-  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
+Host people.debian.org
+  HostKeyAlias ravel.debian.org
   User madduck
-Host gluck.debian.org | gluck
-  Hostname gluck.debian.org
+
+Host abel.debian.org | abel
+  Hostname abel.debian.org
   User madduck
-Host elara.debian.org | elara
-  Hostname elara.debian.org
+Host agricola.debian.org | agricola
+  Hostname agricola.debian.org
   User madduck
-Host sarti.debian.org | sarti
-  Hostname sarti.debian.org
+Host albeniz.debian.org | albeniz
+  Hostname albeniz.debian.org
   User madduck
-Host europa.debian.org | europa
-  Hostname europa.debian.org
+Host asdfasdf.debian.net | asdfasdf
+  Hostname asdfasdf.debian.net
   User madduck
-Host master.debian.org | master
-  Hostname master.debian.org
+Host busoni.debian.org | busoni
+  Hostname busoni.debian.org
   User madduck
-Host bartok.debian.org | bartok
-  Hostname bartok.debian.org
+Host cilea.debian.org | cilea
+  Hostname cilea.debian.org
   User madduck
-Host merulo.debian.org | merulo
-  Hostname merulo.debian.org
+Host duarte.debian.org | duarte
+  Hostname duarte.debian.org
   User madduck
-Host merkel.debian.org | merkel
-  Hostname merkel.debian.org
+Host dukas.debian.org | dukas
+  Hostname dukas.debian.org
   User madduck
-Host murphy.debian.org | murphy
-  Hostname murphy.debian.org
+Host glinka.debian.org | glinka
+  Hostname glinka.debian.org
   User madduck
-Host raptor.debian.org | raptor
-  Hostname raptor.debian.org
+Host grieg.debian.org | grieg
+  Hostname grieg.debian.org
   User madduck
-Host tartini.debian.org | tartini
-  Hostname tartini.debian.org
+Host io.debian.net | io
+  Hostname io.debian.net
   User madduck
-Host raff.debian.org | raff
-  Hostname raff.debian.org
+Host lindberg.debian.org | lindberg
+  Hostname lindberg.debian.org
   User madduck
-Host klecker.debian.org | klecker
-  Hostname klecker.debian.org
-  User madduck
-Host voltaire.debian.org | voltaire
-  Hostname voltaire.debian.org
+Host master.debian.org | master
+  Hostname master.debian.org
   User madduck
-Host bruckner.debian.org | bruckner
-  Hostname bruckner.debian.org
+Host merulo.debian.org | merulo
+  Hostname merulo.debian.org
   User madduck
-Host kullervo.debian.org | kullervo
-  Hostname kullervo.debian.org
+Host nono.debian.org | nono
+  Hostname nono.debian.org
   User madduck
-Host samosa.debian.org | samosa
-  Hostname samosa.debian.org
+Host paer.debian.org | paer
+  Hostname paer.debian.org
   User madduck
-Host caballero.debian.org | caballero
-  Hostname caballero.debian.org
+Host paganini.debian.org | paganini
+  Hostname paganini.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
+Host pescetti.debian.org | pescetti
+  Hostname pescetti.debian.org
   User madduck
 Host piatti.debian.org | piatti
   Hostname piatti.debian.org
   User madduck
-Host peri.debian.org | peri
-  Hostname peri.debian.org
+Host powell.debian.org | powell
+  Hostname powell.debian.org
   User madduck
-Host lobos.debian.org | lobos
-  Hostname lobos.debian.org
+Host quantz.debian.org | quantz
+  Hostname quantz.debian.org
   User madduck
-Host wagner.debian.org | wagner
-  Hostname wagner.debian.org
+Host ravel.debian.org | ravel
+  Hostname ravel.debian.org
   User madduck
-Host verdi.debian.org | verdi
-  Hostname verdi.debian.org
+Host respighi.debian.org | respighi
+  Hostname respighi.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 ravel.debian.org | ravel
-  Hostname ravel.debian.org
-  User madduck
-Host rietz.debian.org | rietz
-  Hostname rietz.debian.org
-  User madduck
-Host steffani.debian.org | steffani
-  Hostname steffani.debian.org
+Host rore.debian.org | rore
+  Hostname rore.debian.org
   User madduck
-Host lebrun.debian.org | lebrun
-  Hostname lebrun.debian.org
+Host samosa.debian.org | samosa
+  Hostname samosa.debian.org
   User madduck
-Host liszt.debian.org | liszt
-  Hostname liszt.debian.org
+Host senfl.debian.org | senfl
+  Hostname senfl.debian.org
   User madduck
-Host mundy.debian.org | mundy
-  Hostname mundy.debian.org
+Host sh4.g15.jp | sh4
+  Hostname sh4.g15.jp
   User madduck
-Host albeniz.debian.org | albeniz
-  Hostname albeniz.debian.org
+Host smetana.debian.org | smetana
+  Hostname smetana.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
-  User madduck
-Host arcadelt.debian.org | arcadelt
-  Hostname arcadelt.debian.org
-  User madduck
-Host penalosa.debian.org | penalosa
-  Hostname penalosa.debian.org
-  User madduck
-Host argento.debian.org | argento
-  Hostname argento.debian.org
-  User madduck
-Host allegri.debian.org | allegri
-  Hostname allegri.debian.org
+Host stabile.debian.org | stabile
+  Hostname stabile.debian.org
   User madduck
-Host morales.debian.org | morales
-  Hostname morales.debian.org
+Host strauss.debian.net | strauss
+  Hostname strauss.debian.net
   User madduck
-Host auber.debian.org | auber
-  Hostname auber.debian.org
+Host sumotsu.debian.net | sumotsu
+  Hostname sumotsu.debian.net
   User madduck
-Host mahler.debian.org | mahler
-  Hostname mahler.debian.org
+Host tye.debian.org | tye
+  Hostname tye.debian.org
   User madduck
-Host schroeder.debian.org | schroeder
-  Hostname schroeder.debian.org
+Host vasks.debian.org | vasks
+  Hostname vasks.debian.org
   User madduck
-Host powell.debian.org | powell
-  Hostname powell.debian.org
+Host vivaldi.debian.org | vivaldi
+  Hostname vivaldi.debian.org
   User madduck
-Host rem.debian.org | rem
-  Hostname rem.debian.org
-  User madduck
-Host smetana.debian.org | smetana
-  Hostname smetana.debian.org
+Host wagner.debian.org | wagner
+  Hostname wagner.debian.org
   User madduck
-Host strauss.debian.net | strauss
-  Hostname strauss.debian.net
+Host widor.debian.org | widor
+  Hostname widor.debian.org
   User madduck
-Host bellini.debian.org | bellini
-  Hostname bellini.debian.org
+Host zelenka.debian.org | zelenka
+  Hostname zelenka.debian.org
   User madduck
 
-Host people.debian.org
-  HostKeyAlias ravel.debian.org
-  User madduck
-
-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 clegg-host | clegg-host.madduck.net | gratis2.opro.ch | opro
-  Hostname clegg-host.madduck.net
-  User madduck
+### NZ
 
-Host skynet.skynet.ie | skynet.ie | skynet
-  Hostname skynet.skynet.ie
+Host workbuffer.org | nz
+  Hostname workbuffer.org
   User madduck
 
-Host aika.krafftwerk.de | aika
-  Hostname aika.krafftwerk.de
+### DEFAULTS
 
 Host *
 # AddressFamily any
@@ -450,6 +410,7 @@ Host *
   HostKeyAlgorithms ssh-rsa
 # IdentityFile ~/.ssh/identity
   IdentityFile2 ~/.ssh/id_rsa
+  IPQoS lowdelay throughput
 # KbdInteractiveDevices pam
 # LocalCommand none
 # LocalForward none