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 matilda.madduck.net | matilda
19 Hostname matilda.madduck.net
21 Host vizier.madduck.net | vizier
23 Hostname vizier.madduck.net
27 Host khyber.madduck.net | khyber
29 Hostname khyber.madduck.net
33 Hostname khyber.madduck.net
35 Host lotus.madduck.net | lotus
37 Hostname lotus.madduck.net
38 Host git.madduck.net | git
40 HostKeyAlias lotus.madduck.net
43 HostKeyAlias lotus.madduck.net
44 Host martin-krafft.net
46 HostKeyAlias lotus.madduck.net
47 Host phd.martin-krafft.net
49 HostKeyAlias lotus.madduck.net
52 HostKeyAlias lotus.madduck.net
54 Host jugband.madduck.net | jugband
56 Hostname jugband.madduck.net
58 Host domine.madduck.net | domine
60 Hostname domine.madduck.net
62 HostKeyAlias domine.madduck.net
64 Host aika.krafftwerk.de | aika
65 Hostname aika.krafftwerk.de
67 Host sysyphus.madduck.net | sysyphus
69 Hostname sysyphus.madduck.net
70 Host ssh443.madduck.net | ssh443
71 HostKeyAlias sysyphus.madduck.net
74 Host openvpn.madduck.net | openvpn
75 HostKeyAlias sysyphus.madduck.net
77 Host wots.madduck.net | wots
79 Hostname wots.madduck.net
80 Host buildd.debian.madduck.net | buildd
81 HostKeyAlias wots.madduck.net
83 ### UNI ZURICH MACHINES
85 Host diamond.madduck.net | diamond
87 Hostname diamond.madduck.net
88 Host debian.madduck.net | debian
89 HostKeyAlias diamond.madduck.net
90 Host scratch.madduck.net | scratch
92 HostKeyAlias diamond.madduck.net
93 Host tunes.madduck.net | tunes
96 Hostname tunes.madduck.net
97 HostKeyAlias diamond.madduck.net
99 Host flics.madduck.net | flics
102 Hostname flics.madduck.net
103 HostKeyAlias diamond.madduck.net
106 Host shelter.madduck.net | shelter
108 Hostname shelter.madduck.net
109 Host backup.madduck.net | backup
110 HostKeyAlias shelter.madduck.net
112 Host sergei.ifi.uzh.ch | sergei
113 Hostname sergei.ifi.uzh.ch
115 Host nikolai.ifi.uzh.ch | nikolai
116 Hostname nikolai.ifi.uzh.ch
118 Host franz.ifi.uzh.ch | franz
119 Hostname franz.ifi.uzh.ch
124 Host swan-host | swan-host.madduck.net
125 Hostname swan-host.madduck.net
128 Host swan.madduck.net | swan
130 Hostname swan.madduck.net
133 Host arnold.madduck.net | arnold
135 Hostname arnold.madduck.net
136 Host arnold-host | arnold-host.madduck.net
137 Hostname arnold-host.madduck.net
141 Hostname arnold.madduck.net
146 Host wall.gern.madduck.net | wall
149 Hostname wall.gern.madduck.net
151 Host julia.gern.madduck.net | julia
152 Hostname julia.gern.madduck.net
155 Hostname wall.gern.madduck.net
160 HostKeyAlias julia.gern.madduck.net
162 Host git.gern.madduck.net | git.gern
164 HostKeyAlias julia.gern.madduck.net
166 Host fishbowl.gern.madduck.net | fishbowl.gern
169 HostKeyAlias fishbowl
171 Host galaxy-s2.phones.gern | galaxy-s2
172 Hostname galaxy-s2.phones.gern
173 HostKeyAlias galaxy-s2.phones.gern
176 Host pict.gern.madduck.net | pict
177 Hostname pict.gern.madduck.net
181 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
182 StrictHostKeyChecking no
183 UserKnownHostsFile /dev/null
187 Host clegg.lehel.madduck.net | clegg
190 Hostname clegg.lehel.madduck.net
192 Host albatross.lehel.madduck.net | albatross.lehel | albatross
193 Hostname albatross.lehel.madduck.net
196 HostKeyAlias albatross.lehel
198 Hostname wall.lehel.madduck.net
203 HostKeyAlias albatross.lehel
205 Host fishbowl.lehel.madduck.net | fishbowl.lehel
208 HostKeyAlias fishbowl
212 Host embryo.gauting.madduck.net | embryo
215 Hostname embryo.gauting.madduck.net
216 HostKeyAlias embryo.gauting.madduck.net
218 Host mother.gauting | mother | mother.gauting.madduck.net
219 Hostname mother.gauting
223 Hostname embryo.gauting.madduck.net
228 HostKeyAlias mother.gauting.madduck.net
230 Host brick.gauting.madduck.net | brick
231 Hostname brick.gauting.madduck.net
235 Hostname embryo.gauting.madduck.net
240 HostKeyAlias brick.gauting.madduck.net
244 Host atom.mtvic.madduck.net | atom.mtvic | atom
245 Hostname atom.mtvic.madduck.net
257 Host scm.alioth.debian.org
258 HostKeyAlias moszumanska.debian.org
261 HostKeyAlias moszumanska.debian.org
264 HostKeyAlias moszumanska.debian.org
267 HostKeyAlias moszumanska.debian.org
270 HostKeyAlias moszumanska.debian.org
273 Host people.debian.org | people
274 Hostname people.debian.org
275 HostKeyAlias paradis.debian.org
278 Host abel.debian.org | abel
279 Hostname abel.debian.org
281 Host adayevskaya.debian.org | adayevskaya
282 Hostname adayevskaya.debian.org
284 Host alkman.debian.org | alkman
285 Hostname alkman.debian.org
287 Host alwyn.debian.org | alwyn
288 Hostname alwyn.debian.org
290 Host ancina.debian.org | ancina
291 Hostname ancina.debian.org
293 Host antheil.debian.org | antheil
294 Hostname antheil.debian.org
296 Host arnold.debian.org
297 Hostname arnold.debian.org
299 Host asdfasdf.debian.net | asdfasdf
300 Hostname asdfasdf.debian.net
302 Host babin.debian.org | babin
303 Hostname babin.debian.org
305 Host backuphost.debian.org | backuphost
306 Hostname backuphost.debian.org
308 Host ball.debian.org | ball
309 Hostname ball.debian.org
311 Host barber.debian.org | barber
312 Hostname barber.debian.org
314 Host barriere.debian.org | barriere
315 Hostname barriere.debian.org
317 Host beach.debian.org | beach
318 Hostname beach.debian.org
320 Host beethoven.debian.org | beethoven
321 Hostname beethoven.debian.org
323 Host bendel.debian.org | bendel
324 Hostname bendel.debian.org
326 Host berlioz.debian.org | berlioz
327 Hostname berlioz.debian.org
329 Host bertali.debian.org | bertali
330 Hostname bertali.debian.org
332 Host biber.debian.org | biber
333 Hostname biber.debian.org
335 Host binet.debian.org | binet
336 Hostname binet.debian.org
338 Host bizet.debian.org | bizet
339 Hostname bizet.debian.org
341 Host blavet.debian.org | blavet
342 Hostname blavet.debian.org
344 Host bm-bl1.debian.org | bm-bl1
345 Hostname bm-bl1.debian.org
347 Host bm-bl10.debian.org | bm-bl10
348 Hostname bm-bl10.debian.org
350 Host bm-bl11.debian.org | bm-bl11
351 Hostname bm-bl11.debian.org
353 Host bm-bl12.debian.org | bm-bl12
354 Hostname bm-bl12.debian.org
356 Host bm-bl2.debian.org | bm-bl2
357 Hostname bm-bl2.debian.org
359 Host bm-bl3.debian.org | bm-bl3
360 Hostname bm-bl3.debian.org
362 Host bm-bl4.debian.org | bm-bl4
363 Hostname bm-bl4.debian.org
365 Host bm-bl5.debian.org | bm-bl5
366 Hostname bm-bl5.debian.org
368 Host bm-bl6.debian.org | bm-bl6
369 Hostname bm-bl6.debian.org
371 Host bm-bl7.debian.org | bm-bl7
372 Hostname bm-bl7.debian.org
374 Host bm-bl8.debian.org | bm-bl8
375 Hostname bm-bl8.debian.org
377 Host bm-bl9.debian.org | bm-bl9
378 Hostname bm-bl9.debian.org
380 Host bmdb1.debian.org | bmdb1
381 Hostname bmdb1.debian.org
383 Host boito.debian.org | boito
384 Hostname boito.debian.org
386 Host brahms.debian.org | brahms
387 Hostname brahms.debian.org
389 Host busoni.debian.org | busoni
390 Hostname busoni.debian.org
392 Host buxtehude.debian.org | buxtehude
393 Hostname buxtehude.debian.org
395 Host byrd.debian.org | byrd
396 Hostname byrd.debian.org
398 Host caballero.debian.org | caballero
399 Hostname caballero.debian.org
401 Host chopin.debian.org | chopin
402 Hostname chopin.debian.org
404 Host clementi.debian.org | clementi
405 Hostname clementi.debian.org
407 Host coccia.debian.org | coccia
408 Hostname coccia.debian.org
410 Host corelli.debian.org | corelli
411 Hostname corelli.debian.org
413 Host couper.debian.org | couper
414 Hostname couper.debian.org
416 Host czerny.debian.org | czerny
417 Hostname czerny.debian.org
419 Host danzi.debian.org | danzi
420 Hostname danzi.debian.org
422 Host delfin.debian.org | delfin
423 Hostname delfin.debian.org
425 Host denis.debian.org | denis
426 Hostname denis.debian.org
428 Host diabelli.debian.org | diabelli
429 Hostname diabelli.debian.org
431 Host dijkstra.debian.org | dijkstra
432 Hostname dijkstra.debian.org
434 Host dillon.debian.org | dillon
435 Hostname dillon.debian.org
437 Host dinis.debian.org | dinis
438 Hostname dinis.debian.org
440 Host donizetti.debian.org | donizetti
441 Hostname donizetti.debian.org
443 Host draghi.debian.org | draghi
444 Hostname draghi.debian.org
446 Host dukas.debian.org | dukas
447 Hostname dukas.debian.org
449 Host eberlin.debian.org | eberlin
450 Hostname eberlin.debian.org
452 Host eder.debian.org | eder
453 Hostname eder.debian.org
455 Host elgar.debian.org | elgar
456 Hostname elgar.debian.org
458 Host exodar.debian.net | exodar
459 Hostname exodar.debian.net
461 Host eysler.debian.org | eysler
462 Hostname eysler.debian.org
464 Host falla.debian.org | falla
465 Hostname falla.debian.org
467 Host fano.debian.org | fano
468 Hostname fano.debian.org
470 Host fayrfax.debian.org | fayrfax
471 Hostname fayrfax.debian.org
473 Host fils.debian.org | fils
474 Hostname fils.debian.org
476 Host finzi.debian.org | finzi
477 Hostname finzi.debian.org
479 Host fischer.debian.org | fischer
480 Hostname fischer.debian.org
482 Host franck.debian.org | franck
483 Hostname franck.debian.org
485 Host gabrielli.debian.org | gabrielli
486 Hostname gabrielli.debian.org
488 Host geo1.debian.org | geo1
489 Hostname geo1.debian.org
491 Host geo2.debian.org | geo2
492 Hostname geo2.debian.org
494 Host geo3.debian.org | geo3
495 Hostname geo3.debian.org
497 Host glinka.debian.org | glinka
498 Hostname glinka.debian.org
500 Host gluck.debian.org | gluck
501 Hostname gluck.debian.org
503 Host gombert.debian.org | gombert
504 Hostname gombert.debian.org
506 Host handel.debian.org | handel
507 Hostname handel.debian.org
509 Host harris.debian.org | harris
510 Hostname harris.debian.org
512 Host hartmann.debian.org | hartmann
513 Hostname hartmann.debian.org
515 Host hasse.debian.org | hasse
516 Hostname hasse.debian.org
518 Host henze.debian.org | henze
519 Hostname henze.debian.org
521 Host hoiby.debian.org | hoiby
522 Hostname hoiby.debian.org
524 Host howells.debian.org | howells
525 Hostname howells.debian.org
527 Host hummel.debian.org | hummel
528 Hostname hummel.debian.org
530 Host io.debian.net | io
531 Hostname io.debian.net
533 Host ipa.debian.net | ipa
534 Hostname ipa.debian.net
536 Host jenkins.debian.org | jenkins
537 Hostname jenkins.debian.org
539 Host kaufmann.debian.org | kaufmann
540 Hostname kaufmann.debian.org
542 Host klecker.debian.org | klecker
543 Hostname klecker.debian.org
545 Host lebrun.debian.org | lebrun
546 Hostname lebrun.debian.org
548 Host lilburn.debian.org | lilburn
549 Hostname lilburn.debian.org
551 Host lobos.debian.org | lobos
552 Hostname lobos.debian.org
554 Host lotti.debian.org | lotti
555 Hostname lotti.debian.org
557 Host lucatelli.debian.org | lucatelli
558 Hostname lucatelli.debian.org
560 Host luchesi.debian.org | luchesi
561 Hostname luchesi.debian.org
563 Host lully.debian.org | lully
564 Hostname lully.debian.org
566 Host lw01.debian.org | lw01
567 Hostname lw01.debian.org
569 Host lw02.debian.org | lw02
570 Hostname lw02.debian.org
572 Host lw03.debian.org | lw03
573 Hostname lw03.debian.org
575 Host lw04.debian.org | lw04
576 Hostname lw04.debian.org
578 Host lw07.debian.org | lw07
579 Hostname lw07.debian.org
581 Host lw08.debian.org | lw08
582 Hostname lw08.debian.org
584 Host mailly.debian.org | mailly
585 Hostname mailly.debian.org
587 Host master.debian.org | master
588 Hostname master.debian.org
590 Host mayer.debian.org | mayer
591 Hostname mayer.debian.org
593 Host mayr.debian.org | mayr
594 Hostname mayr.debian.org
596 Host menotti.debian.org | menotti
597 Hostname menotti.debian.org
599 Host merulo.debian.org | merulo
600 Hostname merulo.debian.org
602 Host milanollo.debian.org | milanollo
603 Hostname milanollo.debian.org
605 Host mipsel-manda-01.debian.org | mipsel-manda-01
606 Hostname mipsel-manda-01.debian.org
608 Host mipsel-manda-02.debian.org | mipsel-manda-02
609 Hostname mipsel-manda-02.debian.org
611 Host moszumanska.debian.org | moszumanska
612 Hostname moszumanska.debian.org
614 Host muffat.debian.org | muffat
615 Hostname muffat.debian.org
617 Host mundy.debian.org | mundy
618 Hostname mundy.debian.org
620 Host murphy.debian.org | murphy
621 Hostname murphy.debian.org
623 Host nono.debian.org | nono
624 Hostname nono.debian.org
626 Host oyens.debian.org | oyens
627 Hostname oyens.debian.org
629 Host paradis.debian.org | paradis
630 Hostname paradis.debian.org
632 Host parry.debian.org | parry
633 Hostname parry.debian.org
635 Host partch.debian.org | partch
636 Hostname partch.debian.org
638 Host pasquini.debian.org | pasquini
639 Hostname pasquini.debian.org
641 Host pastel.debian.net | pastel
642 Hostname pastel.debian.net
644 Host pejacevic.debian.org | pejacevic
645 Hostname pejacevic.debian.org
647 Host peri.debian.org | peri
648 Hostname peri.debian.org
650 Host petrova.debian.org | petrova
651 Hostname petrova.debian.org
653 Host pettersson.debian.org | pettersson
654 Hostname pettersson.debian.org
656 Host philp.debian.org | philp
657 Hostname philp.debian.org
659 Host picconi.debian.org | picconi
660 Hostname picconi.debian.org
662 Host piu-slave-bm-a.debian.org | piu-slave-bm-a
663 Hostname piu-slave-bm-a.debian.org
665 Host pkgmirror-1and1.debian.org | pkgmirror-1and1
666 Hostname pkgmirror-1and1.debian.org
668 Host popov.debian.org | popov
669 Hostname popov.debian.org
671 Host porpora.debian.org | porpora
672 Hostname porpora.debian.org
674 Host portman.debian.org | portman
675 Hostname portman.debian.org
677 Host poulenc.debian.org | poulenc
678 Hostname poulenc.debian.org
680 Host powell.debian.org | powell
681 Hostname powell.debian.org
683 Host praetorius.debian.org | praetorius
684 Hostname praetorius.debian.org
686 Host quantz.debian.org | quantz
687 Hostname quantz.debian.org
689 Host rainier.debian.org | rainier
690 Hostname rainier.debian.org
692 Host rapoport.debian.org | rapoport
693 Hostname rapoport.debian.org
695 Host rautavaara.debian.org | rautavaara
696 Hostname rautavaara.debian.org
698 Host ravel.debian.org | ravel
699 Hostname ravel.debian.org
701 Host reger.debian.org | reger
702 Hostname reger.debian.org
704 Host rem.debian.org | rem
705 Hostname rem.debian.org
707 Host ries.debian.org | ries
708 Hostname ries.debian.org
710 Host rietz.debian.org | rietz
711 Hostname rietz.debian.org
713 Host rossini.debian.org | rossini
714 Hostname rossini.debian.org
716 Host saens.debian.org | saens
717 Hostname saens.debian.org
719 Host salieri.debian.org | salieri
720 Hostname salieri.debian.org
722 Host santoro.debian.org | santoro
723 Hostname santoro.debian.org
725 Host scelsi.debian.org | scelsi
726 Hostname scelsi.debian.org
728 Host schein.debian.org | schein
729 Hostname schein.debian.org
731 Host schroeder.debian.org | schroeder
732 Hostname schroeder.debian.org
734 Host schumann.debian.org | schumann
735 Hostname schumann.debian.org
737 Host sechter.debian.org | sechter
738 Hostname sechter.debian.org
740 Host senfl.debian.org | senfl
741 Hostname senfl.debian.org
743 Host senfter.debian.org | senfter
744 Hostname senfter.debian.org
746 Host sh4.g15.jp | sh4
749 Host sibelius.debian.org | sibelius
750 Hostname sibelius.debian.org
752 Host smetana.debian.org | smetana
753 Hostname smetana.debian.org
755 Host soler.debian.org | soler
756 Hostname soler.debian.org
758 Host sompek.debian.org | sompek
759 Hostname sompek.debian.org
761 Host sonntag.debian.org | sonntag
762 Hostname sonntag.debian.org
764 Host spohr.debian.org | spohr
765 Hostname spohr.debian.org
767 Host spontini.debian.org | spontini
768 Hostname spontini.debian.org
770 Host stabile.debian.org | stabile
771 Hostname stabile.debian.org
773 Host stadler.debian.org | stadler
774 Hostname stadler.debian.org
776 Host steffani.debian.org | steffani
777 Hostname steffani.debian.org
779 Host stockhausen.debian.org | stockhausen
780 Hostname stockhausen.debian.org
782 Host storace.debian.org | storace
783 Hostname storace.debian.org
785 Host strauss.debian.net | strauss
786 Hostname strauss.debian.net
788 Host sumotsu.debian.net | sumotsu
789 Hostname sumotsu.debian.net
791 Host tchaikovsky.debian.org | tchaikovsky
792 Hostname tchaikovsky.debian.org
794 Host ticharich.debian.org | ticharich
795 Hostname ticharich.debian.org
797 Host traetta.debian.org | traetta
798 Hostname traetta.debian.org
800 Host tristano.debian.org | tristano
801 Hostname tristano.debian.org
803 Host tye.debian.org | tye
804 Hostname tye.debian.org
806 Host ullmann.debian.org | ullmann
807 Hostname ullmann.debian.org
809 Host unger.debian.org | unger
810 Hostname unger.debian.org
812 Host vasks.debian.org | vasks
813 Hostname vasks.debian.org
815 Host vento.debian.org | vento
816 Hostname vento.debian.org
818 Host villa.debian.org | villa
819 Hostname villa.debian.org
821 Host vitry.debian.org | vitry
822 Hostname vitry.debian.org
824 Host vogler.debian.org | vogler
825 Hostname vogler.debian.org
827 Host wagner.debian.org | wagner
828 Hostname wagner.debian.org
830 Host wieck.debian.org | wieck
831 Hostname wieck.debian.org
833 Host wilder.debian.org | wilder
834 Hostname wilder.debian.org
836 Host wolkenstein.debian.org | wolkenstein
837 Hostname wolkenstein.debian.org
839 Host wuiet.debian.org | wuiet
840 Hostname wuiet.debian.org
842 Host xoothais.err.no | xoothais
843 Hostname xoothais.err.no
845 Host zandonai.debian.org | zandonai
846 Hostname zandonai.debian.org
848 Host zani.debian.org | zani
849 Hostname zani.debian.org
851 Host zelenka.debian.org | zelenka
852 Hostname zelenka.debian.org
854 Host zemlinsky.debian.org | zemlinsky
855 Hostname zemlinsky.debian.org
858 Host nelson.debconf.org | penta.debconf.org | nelson | summit
859 Hostname nelson.debconf.org
860 ProxyCommand ssh people.debian.org nc -q0 %h %p
864 Host workbuffer.org | nz
865 Hostname workbuffer.org
870 Host github.com | github
881 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
882 # ClearAllForwardings no
885 # ConnectionAttempts 1
887 ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
890 ## DSAAuthentication no
892 # EnableSSHKeysign no
894 ExitOnForwardFailure yes
897 # ForwardX11Trusted yes
899 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
901 # HostbasedAuthentication no
902 HostKeyAlgorithms ssh-rsa
903 # IdentityFile ~/.ssh/identity
904 IdentityFile2 ~/.ssh/id_rsa
905 IPQoS lowdelay throughput
906 # KbdInteractiveDevices pam
910 MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
911 # NoHostAuthenticationForLocalhost no
912 NumberOfPasswordPrompts 2
913 PasswordAuthentication yes
914 # PermitLocalCommand no
916 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
919 # PubkeyAuthentication yes
920 # RekeyLimit 1G-4G #depends on cipher
922 # RhostsRSAAuthentication no
923 # RSAAuthentication no
924 # ServerAliveCountMax 3
925 ServerAliveInterval 45
927 # SmartcardDevice off
928 StrictHostKeyChecking yes
931 # TunnelDevice any:any
932 # UsePrivilegedPort no
933 # UserKnownHostsFile ~/.ssh/known_hosts
934 # VerifyHostKeyDNS no
936 # XAuthLocation /usr/X11R6/bin/xauth