simplify debian host stanzas

diff --git a/.ssh/config.in b/.ssh/config.in
index ebe9c19481245643c89f0c7d5b884b706e149dc2..c30ca37f5c6e292eb12083076cf07855d0923c49 100644 (file)
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -280,610 +280,22 @@ Host red | green | blue | yellow | black | white | orange | violet | wafer
 
 ### DEBIAN
 
-Match host *.debian.org
-  StrictHostKeyChecking ask
-  VerifyHostKeyDNS ask
-
-Host scm.alioth.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
+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 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
+
+Match host *.debian.org
+  StrictHostKeyChecking ask
+  VerifyHostKeyDNS ask
   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
-  User madduck
+
+### DEBCONF
 
 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
   Hostname nelson.debconf.org