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.
1 Host 127.0.0.1 | localhost
5 NoHostAuthenticationForLocalhost yes
9 Host charade.madduck.net | charade
11 Hostname charade.madduck.net
15 Hostname charade.madduck.net
17 Host emily.madduck.net | emily
19 Hostname emily.madduck.net
21 Host matilda.madduck.net | matilda
23 Hostname matilda.madduck.net
25 Host vizier.madduck.net | vizier
27 Hostname vizier.madduck.net
28 Host admin.madduck.net | admin
29 Hostname admin.madduck.net
30 HostKeyAlias vizier.madduck.net
33 Host ambassador.madduck.net | ambassador
35 Hostname ambassador.madduck.net
39 Host khyber.madduck.net | khyber
41 Hostname khyber.madduck.net
45 Hostname khyber.madduck.net
47 Host lotus.madduck.net | lotus
49 Hostname lotus.madduck.net
50 Host git.madduck.net | git
52 HostKeyAlias lotus.madduck.net
55 HostKeyAlias lotus.madduck.net
56 Host martin-krafft.net
58 HostKeyAlias lotus.madduck.net
59 Host phd.martin-krafft.net
61 HostKeyAlias lotus.madduck.net
64 HostKeyAlias lotus.madduck.net
66 Host jugband.madduck.net | jugband
68 Hostname jugband.madduck.net
70 Host domine.madduck.net | domine
72 Hostname domine.madduck.net
74 HostKeyAlias domine.madduck.net
76 Host aika.krafftwerk.de | aika
77 Hostname aika.krafftwerk.de
79 Host sysyphus.madduck.net | sysyphus
81 Hostname sysyphus.madduck.net
82 Host ssh443.madduck.net | ssh443
83 HostKeyAlias sysyphus.madduck.net
86 Host openvpn.madduck.net | openvpn
87 HostKeyAlias sysyphus.madduck.net
89 ### UNI ZURICH MACHINES
91 Host diamond.madduck.net | diamond
93 Hostname diamond.madduck.net
94 Host debian.madduck.net | debian
95 HostKeyAlias diamond.madduck.net
96 Host scratch.madduck.net | scratch
98 HostKeyAlias diamond.madduck.net
99 Host tunes.madduck.net | tunes
102 Hostname tunes.madduck.net
103 HostKeyAlias diamond.madduck.net
105 Host flics.madduck.net | flics
108 Hostname flics.madduck.net
109 HostKeyAlias diamond.madduck.net
112 Host shelter.madduck.net | shelter
114 Hostname shelter.madduck.net
115 Host backup.madduck.net | backup
116 HostKeyAlias shelter.madduck.net
118 Host sergei.ifi.uzh.ch | sergei
119 Hostname sergei.ifi.uzh.ch
121 Host nikolai.ifi.uzh.ch | nikolai
122 Hostname nikolai.ifi.uzh.ch
124 Host franz.ifi.uzh.ch | franz
125 Hostname franz.ifi.uzh.ch
130 Host swan-host | swan-host.madduck.net
131 Hostname swan-host.madduck.net
134 Host swan.madduck.net | swan
135 Hostname swan.madduck.net
137 Host piper.madduck.net | piper
138 Hostname piper.madduck.net
142 Host arnold.madduck.net | arnold
143 Hostname arnold.madduck.net
144 Host arnold-host | arnold-host.madduck.net
145 Hostname arnold-host.madduck.net
149 Hostname arnold.madduck.net
154 Host wall.gern.madduck.net | wall
157 Hostname wall.gern.madduck.net
159 Host julia.gern.madduck.net | julia
160 Hostname julia.gern.madduck.net
163 Host git.gern.madduck.net | git.gern
165 HostKeyAlias julia.gern.madduck.net
167 Host pict.gern.madduck.net | pict
168 Hostname pict.gern.madduck.net
172 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
173 StrictHostKeyChecking no
174 UserKnownHostsFile /dev/null
178 Host clegg.lehel.madduck.net | clegg.lehel | clegg
181 Hostname clegg.lehel.madduck.net
183 Host albatross.lehel.madduck.net | albatross.lehel | albatross
184 Hostname albatross.lehel.madduck.net
187 HostKeyAlias albatross.lehel
191 Host embryo.gauting.madduck.net | embryo
194 Hostname embryo.gauting.madduck.net
195 HostKeyAlias embryo.gauting.madduck.net
197 Host mother.gauting | mother | mother.gauting.madduck.net
198 Hostname mother.gauting
202 Hostname embryo.gauting.madduck.net
207 HostKeyAlias mother.gauting.madduck.net
209 Host brick.gauting.madduck.net | brick
210 Hostname brick.gauting.madduck.net
214 Hostname embryo.gauting.madduck.net
219 HostKeyAlias brick.gauting.madduck.net
223 Host atom.mtvic.madduck.net | atom.mtvic | atom
224 Hostname atom.mtvic.madduck.net
229 Host fishbowl | fishbowl.gern | fishbowl.lehel | fishbowl.rw.madduck.net
233 HostKeyAlias fishbowl
234 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"
238 Host *.virt | 192.168.122.* | red | green | blue | yellow | black | white | orange | violet
241 StrictHostKeyChecking no
242 UserKnownHostsFile /dev/null
245 CanonicalDomains virt
246 CanonicalizeHostname yes
247 CanonicalizeFallbackLocal no
248 CanonicalizeMaxDots 0
252 Host scm.alioth.debian.org
253 HostKeyAlias moszumanska.debian.org
256 HostKeyAlias moszumanska.debian.org
259 HostKeyAlias moszumanska.debian.org
262 HostKeyAlias moszumanska.debian.org
265 HostKeyAlias moszumanska.debian.org
268 Host people.debian.org | people
269 Hostname people.debian.org
270 HostKeyAlias paradis.debian.org
273 Host abel.debian.org | abel
274 Hostname abel.debian.org
276 Host adayevskaya.debian.org | adayevskaya
277 Hostname adayevskaya.debian.org
279 Host alkman.debian.org | alkman
280 Hostname alkman.debian.org
282 Host alwyn.debian.org | alwyn
283 Hostname alwyn.debian.org
285 Host ancina.debian.org | ancina
286 Hostname ancina.debian.org
288 Host antheil.debian.org | antheil
289 Hostname antheil.debian.org
291 Host arnold.debian.org
292 Hostname arnold.debian.org
294 Host asdfasdf.debian.net | asdfasdf
295 Hostname asdfasdf.debian.net
297 Host babin.debian.org | babin
298 Hostname babin.debian.org
300 Host backuphost.debian.org | backuphost
301 Hostname backuphost.debian.org
303 Host ball.debian.org | ball
304 Hostname ball.debian.org
306 Host barber.debian.org | barber
307 Hostname barber.debian.org
309 Host barriere.debian.org | barriere
310 Hostname barriere.debian.org
312 Host beach.debian.org | beach
313 Hostname beach.debian.org
315 Host beethoven.debian.org | beethoven
316 Hostname beethoven.debian.org
318 Host bendel.debian.org | bendel
319 Hostname bendel.debian.org
321 Host berlioz.debian.org | berlioz
322 Hostname berlioz.debian.org
324 Host bertali.debian.org | bertali
325 Hostname bertali.debian.org
327 Host biber.debian.org | biber
328 Hostname biber.debian.org
330 Host binet.debian.org | binet
331 Hostname binet.debian.org
333 Host bizet.debian.org | bizet
334 Hostname bizet.debian.org
336 Host blavet.debian.org | blavet
337 Hostname blavet.debian.org
339 Host bm-bl1.debian.org | bm-bl1
340 Hostname bm-bl1.debian.org
342 Host bm-bl10.debian.org | bm-bl10
343 Hostname bm-bl10.debian.org
345 Host bm-bl11.debian.org | bm-bl11
346 Hostname bm-bl11.debian.org
348 Host bm-bl12.debian.org | bm-bl12
349 Hostname bm-bl12.debian.org
351 Host bm-bl2.debian.org | bm-bl2
352 Hostname bm-bl2.debian.org
354 Host bm-bl3.debian.org | bm-bl3
355 Hostname bm-bl3.debian.org
357 Host bm-bl4.debian.org | bm-bl4
358 Hostname bm-bl4.debian.org
360 Host bm-bl5.debian.org | bm-bl5
361 Hostname bm-bl5.debian.org
363 Host bm-bl6.debian.org | bm-bl6
364 Hostname bm-bl6.debian.org
366 Host bm-bl7.debian.org | bm-bl7
367 Hostname bm-bl7.debian.org
369 Host bm-bl8.debian.org | bm-bl8
370 Hostname bm-bl8.debian.org
372 Host bm-bl9.debian.org | bm-bl9
373 Hostname bm-bl9.debian.org
375 Host bmdb1.debian.org | bmdb1
376 Hostname bmdb1.debian.org
378 Host boito.debian.org | boito
379 Hostname boito.debian.org
381 Host brahms.debian.org | brahms
382 Hostname brahms.debian.org
384 Host busoni.debian.org | busoni
385 Hostname busoni.debian.org
387 Host buxtehude.debian.org | buxtehude
388 Hostname buxtehude.debian.org
390 Host byrd.debian.org | byrd
391 Hostname byrd.debian.org
393 Host caballero.debian.org | caballero
394 Hostname caballero.debian.org
396 Host chopin.debian.org | chopin
397 Hostname chopin.debian.org
399 Host clementi.debian.org | clementi
400 Hostname clementi.debian.org
402 Host coccia.debian.org | coccia
403 Hostname coccia.debian.org
405 Host corelli.debian.org | corelli
406 Hostname corelli.debian.org
408 Host couper.debian.org | couper
409 Hostname couper.debian.org
411 Host czerny.debian.org | czerny
412 Hostname czerny.debian.org
414 Host danzi.debian.org | danzi
415 Hostname danzi.debian.org
417 Host delfin.debian.org | delfin
418 Hostname delfin.debian.org
420 Host denis.debian.org | denis
421 Hostname denis.debian.org
423 Host diabelli.debian.org | diabelli
424 Hostname diabelli.debian.org
426 Host dijkstra.debian.org | dijkstra
427 Hostname dijkstra.debian.org
429 Host dillon.debian.org | dillon
430 Hostname dillon.debian.org
432 Host dinis.debian.org | dinis
433 Hostname dinis.debian.org
435 Host donizetti.debian.org | donizetti
436 Hostname donizetti.debian.org
438 Host draghi.debian.org | draghi
439 Hostname draghi.debian.org
441 Host dukas.debian.org | dukas
442 Hostname dukas.debian.org
444 Host eberlin.debian.org | eberlin
445 Hostname eberlin.debian.org
447 Host eder.debian.org | eder
448 Hostname eder.debian.org
450 Host elgar.debian.org | elgar
451 Hostname elgar.debian.org
453 Host exodar.debian.net | exodar
454 Hostname exodar.debian.net
456 Host eysler.debian.org | eysler
457 Hostname eysler.debian.org
459 Host falla.debian.org | falla
460 Hostname falla.debian.org
462 Host fano.debian.org | fano
463 Hostname fano.debian.org
465 Host fayrfax.debian.org | fayrfax
466 Hostname fayrfax.debian.org
468 Host fils.debian.org | fils
469 Hostname fils.debian.org
471 Host finzi.debian.org | finzi
472 Hostname finzi.debian.org
474 Host fischer.debian.org | fischer
475 Hostname fischer.debian.org
477 Host franck.debian.org | franck
478 Hostname franck.debian.org
480 Host gabrielli.debian.org | gabrielli
481 Hostname gabrielli.debian.org
483 Host geo1.debian.org | geo1
484 Hostname geo1.debian.org
486 Host geo2.debian.org | geo2
487 Hostname geo2.debian.org
489 Host geo3.debian.org | geo3
490 Hostname geo3.debian.org
492 Host glinka.debian.org | glinka
493 Hostname glinka.debian.org
495 Host gluck.debian.org | gluck
496 Hostname gluck.debian.org
498 Host gombert.debian.org | gombert
499 Hostname gombert.debian.org
501 Host handel.debian.org | handel
502 Hostname handel.debian.org
504 Host harris.debian.org | harris
505 Hostname harris.debian.org
507 Host hartmann.debian.org | hartmann
508 Hostname hartmann.debian.org
510 Host hasse.debian.org | hasse
511 Hostname hasse.debian.org
513 Host henze.debian.org | henze
514 Hostname henze.debian.org
516 Host hoiby.debian.org | hoiby
517 Hostname hoiby.debian.org
519 Host howells.debian.org | howells
520 Hostname howells.debian.org
522 Host hummel.debian.org | hummel
523 Hostname hummel.debian.org
525 Host io.debian.net | io
526 Hostname io.debian.net
528 Host ipa.debian.net | ipa
529 Hostname ipa.debian.net
531 Host jenkins.debian.org | jenkins
532 Hostname jenkins.debian.org
534 Host kaufmann.debian.org | kaufmann
535 Hostname kaufmann.debian.org
537 Host klecker.debian.org | klecker
538 Hostname klecker.debian.org
540 Host lebrun.debian.org | lebrun
541 Hostname lebrun.debian.org
543 Host lilburn.debian.org | lilburn
544 Hostname lilburn.debian.org
546 Host lobos.debian.org | lobos
547 Hostname lobos.debian.org
549 Host lotti.debian.org | lotti
550 Hostname lotti.debian.org
552 Host lucatelli.debian.org | lucatelli
553 Hostname lucatelli.debian.org
555 Host luchesi.debian.org | luchesi
556 Hostname luchesi.debian.org
558 Host lully.debian.org | lully
559 Hostname lully.debian.org
561 Host lw01.debian.org | lw01
562 Hostname lw01.debian.org
564 Host lw02.debian.org | lw02
565 Hostname lw02.debian.org
567 Host lw03.debian.org | lw03
568 Hostname lw03.debian.org
570 Host lw04.debian.org | lw04
571 Hostname lw04.debian.org
573 Host lw07.debian.org | lw07
574 Hostname lw07.debian.org
576 Host lw08.debian.org | lw08
577 Hostname lw08.debian.org
579 Host mailly.debian.org | mailly
580 Hostname mailly.debian.org
582 Host master.debian.org | master
583 Hostname master.debian.org
585 Host mayer.debian.org | mayer
586 Hostname mayer.debian.org
588 Host mayr.debian.org | mayr
589 Hostname mayr.debian.org
591 Host menotti.debian.org | menotti
592 Hostname menotti.debian.org
594 Host merulo.debian.org | merulo
595 Hostname merulo.debian.org
597 Host milanollo.debian.org | milanollo
598 Hostname milanollo.debian.org
600 Host mipsel-manda-01.debian.org | mipsel-manda-01
601 Hostname mipsel-manda-01.debian.org
603 Host mipsel-manda-02.debian.org | mipsel-manda-02
604 Hostname mipsel-manda-02.debian.org
606 Host moszumanska.debian.org | moszumanska
607 Hostname moszumanska.debian.org
609 Host muffat.debian.org | muffat
610 Hostname muffat.debian.org
612 Host mundy.debian.org | mundy
613 Hostname mundy.debian.org
615 Host murphy.debian.org | murphy
616 Hostname murphy.debian.org
618 Host nono.debian.org | nono
619 Hostname nono.debian.org
621 Host oyens.debian.org | oyens
622 Hostname oyens.debian.org
624 Host paradis.debian.org | paradis
625 Hostname paradis.debian.org
627 Host parry.debian.org | parry
628 Hostname parry.debian.org
630 Host partch.debian.org | partch
631 Hostname partch.debian.org
633 Host pasquini.debian.org | pasquini
634 Hostname pasquini.debian.org
636 Host pastel.debian.net | pastel
637 Hostname pastel.debian.net
639 Host pejacevic.debian.org | pejacevic
640 Hostname pejacevic.debian.org
642 Host peri.debian.org | peri
643 Hostname peri.debian.org
645 Host petrova.debian.org | petrova
646 Hostname petrova.debian.org
648 Host pettersson.debian.org | pettersson
649 Hostname pettersson.debian.org
651 Host philp.debian.org | philp
652 Hostname philp.debian.org
654 Host picconi.debian.org | picconi
655 Hostname picconi.debian.org
657 Host piu-slave-bm-a.debian.org | piu-slave-bm-a
658 Hostname piu-slave-bm-a.debian.org
660 Host pkgmirror-1and1.debian.org | pkgmirror-1and1
661 Hostname pkgmirror-1and1.debian.org
663 Host popov.debian.org | popov
664 Hostname popov.debian.org
666 Host porpora.debian.org | porpora
667 Hostname porpora.debian.org
669 Host portman.debian.org | portman
670 Hostname portman.debian.org
672 Host poulenc.debian.org | poulenc
673 Hostname poulenc.debian.org
675 Host powell.debian.org | powell
676 Hostname powell.debian.org
678 Host praetorius.debian.org | praetorius
679 Hostname praetorius.debian.org
681 Host quantz.debian.org | quantz
682 Hostname quantz.debian.org
684 Host rainier.debian.org | rainier
685 Hostname rainier.debian.org
687 Host rapoport.debian.org | rapoport
688 Hostname rapoport.debian.org
690 Host rautavaara.debian.org | rautavaara
691 Hostname rautavaara.debian.org
693 Host ravel.debian.org | ravel
694 Hostname ravel.debian.org
696 Host reger.debian.org | reger
697 Hostname reger.debian.org
699 Host rem.debian.org | rem
700 Hostname rem.debian.org
702 Host ries.debian.org | ries
703 Hostname ries.debian.org
705 Host rietz.debian.org | rietz
706 Hostname rietz.debian.org
708 Host rossini.debian.org | rossini
709 Hostname rossini.debian.org
711 Host saens.debian.org | saens
712 Hostname saens.debian.org
714 Host salieri.debian.org | salieri
715 Hostname salieri.debian.org
717 Host santoro.debian.org | santoro
718 Hostname santoro.debian.org
720 Host scelsi.debian.org | scelsi
721 Hostname scelsi.debian.org
723 Host schein.debian.org | schein
724 Hostname schein.debian.org
726 Host schroeder.debian.org | schroeder
727 Hostname schroeder.debian.org
729 Host schumann.debian.org | schumann
730 Hostname schumann.debian.org
732 Host sechter.debian.org | sechter
733 Hostname sechter.debian.org
735 Host senfl.debian.org | senfl
736 Hostname senfl.debian.org
738 Host senfter.debian.org | senfter
739 Hostname senfter.debian.org
741 Host sh4.g15.jp | sh4
744 Host sibelius.debian.org | sibelius
745 Hostname sibelius.debian.org
747 Host smetana.debian.org | smetana
748 Hostname smetana.debian.org
750 Host soler.debian.org | soler
751 Hostname soler.debian.org
753 Host sompek.debian.org | sompek
754 Hostname sompek.debian.org
756 Host sonntag.debian.org | sonntag
757 Hostname sonntag.debian.org
759 Host spohr.debian.org | spohr
760 Hostname spohr.debian.org
762 Host spontini.debian.org | spontini
763 Hostname spontini.debian.org
765 Host stabile.debian.org | stabile
766 Hostname stabile.debian.org
768 Host stadler.debian.org | stadler
769 Hostname stadler.debian.org
771 Host steffani.debian.org | steffani
772 Hostname steffani.debian.org
774 Host stockhausen.debian.org | stockhausen
775 Hostname stockhausen.debian.org
777 Host storace.debian.org | storace
778 Hostname storace.debian.org
780 Host strauss.debian.net | strauss
781 Hostname strauss.debian.net
783 Host sumotsu.debian.net | sumotsu
784 Hostname sumotsu.debian.net
786 Host tchaikovsky.debian.org | tchaikovsky
787 Hostname tchaikovsky.debian.org
789 Host ticharich.debian.org | ticharich
790 Hostname ticharich.debian.org
792 Host traetta.debian.org | traetta
793 Hostname traetta.debian.org
795 Host tristano.debian.org | tristano
796 Hostname tristano.debian.org
798 Host tye.debian.org | tye
799 Hostname tye.debian.org
801 Host ullmann.debian.org | ullmann
802 Hostname ullmann.debian.org
804 Host unger.debian.org | unger
805 Hostname unger.debian.org
807 Host vasks.debian.org | vasks
808 Hostname vasks.debian.org
810 Host vento.debian.org | vento
811 Hostname vento.debian.org
813 Host villa.debian.org | villa
814 Hostname villa.debian.org
816 Host vitry.debian.org | vitry
817 Hostname vitry.debian.org
819 Host vogler.debian.org | vogler
820 Hostname vogler.debian.org
822 Host wagner.debian.org | wagner
823 Hostname wagner.debian.org
825 Host wieck.debian.org | wieck
826 Hostname wieck.debian.org
828 Host wilder.debian.org | wilder
829 Hostname wilder.debian.org
831 Host wolkenstein.debian.org | wolkenstein
832 Hostname wolkenstein.debian.org
834 Host wuiet.debian.org | wuiet
835 Hostname wuiet.debian.org
837 Host xoothais.err.no | xoothais
838 Hostname xoothais.err.no
840 Host zandonai.debian.org | zandonai
841 Hostname zandonai.debian.org
843 Host zani.debian.org | zani
844 Hostname zani.debian.org
846 Host zelenka.debian.org | zelenka
847 Hostname zelenka.debian.org
849 Host zemlinsky.debian.org | zemlinsky
850 Hostname zemlinsky.debian.org
853 Host nelson.debconf.org | penta.debconf.org | nelson | summit
854 Hostname nelson.debconf.org
855 ProxyCommand ssh people.debian.org nc -q0 %h %p
859 Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
860 Hostname lion.mjollnir.org
865 Hostname remotes.club
874 Hostname squiggle.city
878 Hostname 001.tilde.city
883 Host workbuffer.org | nz
884 Hostname workbuffer.org
889 Host github.com | github
900 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
901 # ClearAllForwardings no
904 # ConnectionAttempts 1
906 ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
909 ## DSAAuthentication no
911 # EnableSSHKeysign no
913 ExitOnForwardFailure yes
916 # ForwardX11Trusted yes
918 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
920 # HostbasedAuthentication no
921 HostKeyAlgorithms ssh-rsa
922 # IdentityFile ~/.ssh/identity
923 IdentityFile2 ~/.ssh/id_rsa
924 IPQoS lowdelay throughput
925 # KbdInteractiveDevices pam
929 MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
930 # NoHostAuthenticationForLocalhost no
931 NumberOfPasswordPrompts 2
932 PasswordAuthentication yes
933 # PermitLocalCommand no
935 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
938 # PubkeyAuthentication yes
939 # RekeyLimit 1G-4G #depends on cipher
941 # RhostsRSAAuthentication no
942 # RSAAuthentication no
943 # ServerAliveCountMax 3
944 ServerAliveInterval 45
946 # SmartcardDevice off
947 StrictHostKeyChecking yes
950 # TunnelDevice any:any
951 # UsePrivilegedPort no
952 # UserKnownHostsFile ~/.ssh/known_hosts
953 # VerifyHostKeyDNS no
955 # XAuthLocation /usr/X11R6/bin/xauth