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
7 Match host *.madduck.net
8 StrictHostKeyChecking ask
13 Host charade.madduck.net | charade
15 Hostname charade.madduck.net
19 Hostname charade.madduck.net
21 Host emily.madduck.net | emily
23 Hostname emily.madduck.net
25 Host matilda.madduck.net | matilda
27 Hostname matilda.madduck.net
29 Host vizier.madduck.net | vizier
31 Hostname vizier.madduck.net
32 Host admin.madduck.net | admin
33 Hostname admin.madduck.net
34 HostKeyAlias vizier.madduck.net
37 Host ambassador.madduck.net | ambassador
39 Hostname ambassador.madduck.net
41 Host alan.madduck.net | alan
43 Hostname alan.madduck.net
45 Host swan.madduck.net | swan
47 Hostname swan.madduck.net
48 Host irc-host.madduck.net | irc-host
50 HostKeyAlias swan.madduck.net
53 Host pulse.madduck.net | pulse
55 Hostname pulse.madduck.net
57 Host seamus.madduck.net | seamus
59 Hostname seamus.madduck.net
63 Host khyber.madduck.net | khyber
65 Hostname khyber.madduck.net
69 Hostname khyber.madduck.net
71 Host bike.madduck.net | bike
73 Hostname bike.madduck.net
75 Host lotus.madduck.net | lotus
77 Hostname lotus.madduck.net
78 Host git.madduck.net | git
80 HostKeyAlias lotus.madduck.net
83 HostKeyAlias lotus.madduck.net
84 Host martin-krafft.net
86 HostKeyAlias lotus.madduck.net
87 Host phd.martin-krafft.net
89 HostKeyAlias lotus.madduck.net
92 HostKeyAlias lotus.madduck.net
94 Host jugband.madduck.net | jugband
96 Hostname jugband.madduck.net
98 Host domine.madduck.net | domine
100 Hostname domine.madduck.net
101 Host imap.madduck.net
102 HostKeyAlias domine.madduck.net
104 Host aika.krafftwerk.de | aika
105 Hostname aika.krafftwerk.de
107 Host sysyphus.madduck.net | sysyphus
109 Hostname sysyphus.madduck.net
110 Host ssh443.madduck.net | ssh443
111 HostKeyAlias sysyphus.madduck.net
114 Host openvpn.madduck.net | openvpn
115 HostKeyAlias sysyphus.madduck.net
117 ### UNI ZURICH MACHINES
119 Host diamond.madduck.net | diamond
121 Hostname diamond.madduck.net
122 Host debian.madduck.net | debian
123 HostKeyAlias diamond.madduck.net
124 Host scratch.madduck.net | scratch
126 HostKeyAlias diamond.madduck.net
127 Host tunes.madduck.net | tunes
130 Hostname tunes.madduck.net
131 HostKeyAlias diamond.madduck.net
133 Host flics.madduck.net | flics
136 Hostname flics.madduck.net
137 HostKeyAlias diamond.madduck.net
140 Host shelter.madduck.net | shelter
142 Hostname shelter.madduck.net
143 Host backup.madduck.net | backup
144 HostKeyAlias shelter.madduck.net
146 Host sergei.ifi.uzh.ch | sergei
147 Hostname sergei.ifi.uzh.ch
149 Host nikolai.ifi.uzh.ch | nikolai
150 Hostname nikolai.ifi.uzh.ch
152 Host franz.ifi.uzh.ch | franz
153 Hostname franz.ifi.uzh.ch
158 Host piper.madduck.net | piper
159 Hostname piper.madduck.net
163 Host cirrus.madduck.net | cirrus
164 Hostname cirrus.madduck.net
168 Host arnold.madduck.net | arnold
169 Hostname arnold.madduck.net
170 Host arnold-host | arnold-host.madduck.net
171 Hostname arnold-host.madduck.net
176 Host wall.gern.madduck.net | wall
179 Hostname wall.gern.madduck.net
181 Host julia.gern.madduck.net | julia
182 Hostname julia.gern.madduck.net
186 Host git.gern.madduck.net | git.gern
188 HostKeyAlias julia.gern.madduck.net
189 Host annex.gern.madduck.net | annex.gern
191 HostKeyAlias julia.gern.madduck.net
192 Host shared.gern.madduck.net | shared.gern
194 HostKeyAlias julia.gern.madduck.net
196 Host pict.gern.madduck.net | pict
197 Hostname pict.gern.madduck.net
201 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
202 StrictHostKeyChecking no
203 UserKnownHostsFile /dev/null
207 Host clegg.lehel.madduck.net | clegg.lehel | clegg
210 Hostname clegg.lehel.madduck.net
212 Host albatross.lehel.madduck.net | albatross.lehel | albatross
213 Hostname albatross.lehel.madduck.net
216 HostKeyAlias albatross.lehel
220 Host embryo.gauting.madduck.net | embryo
223 Hostname embryo.gauting.madduck.net
224 HostKeyAlias embryo.gauting.madduck.net
226 Host mother.gauting | mother | mother.gauting.madduck.net
227 Hostname mother.gauting
231 Hostname embryo.gauting.madduck.net
236 HostKeyAlias mother.gauting.madduck.net
238 Host brick.gauting.madduck.net | brick
239 Hostname brick.gauting.madduck.net
243 Hostname embryo.gauting.madduck.net
248 HostKeyAlias brick.gauting.madduck.net
252 Host atom.mtvic.madduck.net | atom.mtvic | atom
253 Hostname atom.mtvic.madduck.net
262 HostKeyAlias fishbowl
264 Host fishbowl | fishbowl.rw.madduck.net
268 HostKeyAlias fishbowl
269 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"
273 Host *.virt | 192.168.122.* | red | green | blue | yellow | black | white | orange | violet
276 StrictHostKeyChecking no
277 UserKnownHostsFile /dev/null
280 CanonicalDomains virt
281 CanonicalizeHostname yes
282 CanonicalizeFallbackLocal no
283 CanonicalizeMaxDots 0
287 Match host *.debian.org
288 StrictHostKeyChecking ask
291 Host scm.alioth.debian.org
292 HostKeyAlias moszumanska.debian.org
295 HostKeyAlias moszumanska.debian.org
298 HostKeyAlias moszumanska.debian.org
301 HostKeyAlias moszumanska.debian.org
304 HostKeyAlias moszumanska.debian.org
307 Host people.debian.org | people
308 Hostname people.debian.org
309 HostKeyAlias paradis.debian.org
312 Host abel.debian.org | abel
313 Hostname abel.debian.org
315 Host adayevskaya.debian.org | adayevskaya
316 Hostname adayevskaya.debian.org
318 Host alkman.debian.org | alkman
319 Hostname alkman.debian.org
321 Host alwyn.debian.org | alwyn
322 Hostname alwyn.debian.org
324 Host ancina.debian.org | ancina
325 Hostname ancina.debian.org
327 Host antheil.debian.org | antheil
328 Hostname antheil.debian.org
330 Host arnold.debian.org
331 Hostname arnold.debian.org
333 Host asdfasdf.debian.net | asdfasdf
334 Hostname asdfasdf.debian.net
336 Host babin.debian.org | babin
337 Hostname babin.debian.org
339 Host backuphost.debian.org | backuphost
340 Hostname backuphost.debian.org
342 Host ball.debian.org | ball
343 Hostname ball.debian.org
345 Host barber.debian.org | barber
346 Hostname barber.debian.org
348 Host barriere.debian.org | barriere
349 Hostname barriere.debian.org
351 Host beach.debian.org | beach
352 Hostname beach.debian.org
354 Host beethoven.debian.org | beethoven
355 Hostname beethoven.debian.org
357 Host bendel.debian.org | bendel
358 Hostname bendel.debian.org
360 Host berlioz.debian.org | berlioz
361 Hostname berlioz.debian.org
363 Host bertali.debian.org | bertali
364 Hostname bertali.debian.org
366 Host biber.debian.org | biber
367 Hostname biber.debian.org
369 Host binet.debian.org | binet
370 Hostname binet.debian.org
372 Host bizet.debian.org | bizet
373 Hostname bizet.debian.org
375 Host blavet.debian.org | blavet
376 Hostname blavet.debian.org
378 Host bm-bl1.debian.org | bm-bl1
379 Hostname bm-bl1.debian.org
381 Host bm-bl10.debian.org | bm-bl10
382 Hostname bm-bl10.debian.org
384 Host bm-bl11.debian.org | bm-bl11
385 Hostname bm-bl11.debian.org
387 Host bm-bl12.debian.org | bm-bl12
388 Hostname bm-bl12.debian.org
390 Host bm-bl2.debian.org | bm-bl2
391 Hostname bm-bl2.debian.org
393 Host bm-bl3.debian.org | bm-bl3
394 Hostname bm-bl3.debian.org
396 Host bm-bl4.debian.org | bm-bl4
397 Hostname bm-bl4.debian.org
399 Host bm-bl5.debian.org | bm-bl5
400 Hostname bm-bl5.debian.org
402 Host bm-bl6.debian.org | bm-bl6
403 Hostname bm-bl6.debian.org
405 Host bm-bl7.debian.org | bm-bl7
406 Hostname bm-bl7.debian.org
408 Host bm-bl8.debian.org | bm-bl8
409 Hostname bm-bl8.debian.org
411 Host bm-bl9.debian.org | bm-bl9
412 Hostname bm-bl9.debian.org
414 Host bmdb1.debian.org | bmdb1
415 Hostname bmdb1.debian.org
417 Host boito.debian.org | boito
418 Hostname boito.debian.org
420 Host brahms.debian.org | brahms
421 Hostname brahms.debian.org
423 Host busoni.debian.org | busoni
424 Hostname busoni.debian.org
426 Host buxtehude.debian.org | buxtehude
427 Hostname buxtehude.debian.org
429 Host byrd.debian.org | byrd
430 Hostname byrd.debian.org
432 Host caballero.debian.org | caballero
433 Hostname caballero.debian.org
435 Host chopin.debian.org | chopin
436 Hostname chopin.debian.org
438 Host clementi.debian.org | clementi
439 Hostname clementi.debian.org
441 Host coccia.debian.org | coccia
442 Hostname coccia.debian.org
444 Host corelli.debian.org | corelli
445 Hostname corelli.debian.org
447 Host couper.debian.org | couper
448 Hostname couper.debian.org
450 Host czerny.debian.org | czerny
451 Hostname czerny.debian.org
453 Host danzi.debian.org | danzi
454 Hostname danzi.debian.org
456 Host delfin.debian.org | delfin
457 Hostname delfin.debian.org
459 Host denis.debian.org | denis
460 Hostname denis.debian.org
462 Host diabelli.debian.org | diabelli
463 Hostname diabelli.debian.org
465 Host dijkstra.debian.org | dijkstra
466 Hostname dijkstra.debian.org
468 Host dillon.debian.org | dillon
469 Hostname dillon.debian.org
471 Host dinis.debian.org | dinis
472 Hostname dinis.debian.org
474 Host donizetti.debian.org | donizetti
475 Hostname donizetti.debian.org
477 Host draghi.debian.org | draghi
478 Hostname draghi.debian.org
480 Host dukas.debian.org | dukas
481 Hostname dukas.debian.org
483 Host eberlin.debian.org | eberlin
484 Hostname eberlin.debian.org
486 Host eder.debian.org | eder
487 Hostname eder.debian.org
489 Host elgar.debian.org | elgar
490 Hostname elgar.debian.org
492 Host exodar.debian.net | exodar
493 Hostname exodar.debian.net
495 Host eysler.debian.org | eysler
496 Hostname eysler.debian.org
498 Host falla.debian.org | falla
499 Hostname falla.debian.org
501 Host fano.debian.org | fano
502 Hostname fano.debian.org
504 Host fayrfax.debian.org | fayrfax
505 Hostname fayrfax.debian.org
507 Host fils.debian.org | fils
508 Hostname fils.debian.org
510 Host finzi.debian.org | finzi
511 Hostname finzi.debian.org
513 Host fischer.debian.org | fischer
514 Hostname fischer.debian.org
516 Host franck.debian.org | franck
517 Hostname franck.debian.org
519 Host gabrielli.debian.org | gabrielli
520 Hostname gabrielli.debian.org
522 Host geo1.debian.org | geo1
523 Hostname geo1.debian.org
525 Host geo2.debian.org | geo2
526 Hostname geo2.debian.org
528 Host geo3.debian.org | geo3
529 Hostname geo3.debian.org
531 Host glinka.debian.org | glinka
532 Hostname glinka.debian.org
534 Host gluck.debian.org | gluck
535 Hostname gluck.debian.org
537 Host gombert.debian.org | gombert
538 Hostname gombert.debian.org
540 Host handel.debian.org | handel
541 Hostname handel.debian.org
543 Host harris.debian.org | harris
544 Hostname harris.debian.org
546 Host hartmann.debian.org | hartmann
547 Hostname hartmann.debian.org
549 Host hasse.debian.org | hasse
550 Hostname hasse.debian.org
552 Host henze.debian.org | henze
553 Hostname henze.debian.org
555 Host hoiby.debian.org | hoiby
556 Hostname hoiby.debian.org
558 Host howells.debian.org | howells
559 Hostname howells.debian.org
561 Host hummel.debian.org | hummel
562 Hostname hummel.debian.org
564 Host io.debian.net | io
565 Hostname io.debian.net
567 Host ipa.debian.net | ipa
568 Hostname ipa.debian.net
570 Host jenkins.debian.org | jenkins
571 Hostname jenkins.debian.org
573 Host kaufmann.debian.org | kaufmann
574 Hostname kaufmann.debian.org
576 Host klecker.debian.org | klecker
577 Hostname klecker.debian.org
579 Host lebrun.debian.org | lebrun
580 Hostname lebrun.debian.org
582 Host lilburn.debian.org | lilburn
583 Hostname lilburn.debian.org
585 Host lobos.debian.org | lobos
586 Hostname lobos.debian.org
588 Host lotti.debian.org | lotti
589 Hostname lotti.debian.org
591 Host lucatelli.debian.org | lucatelli
592 Hostname lucatelli.debian.org
594 Host luchesi.debian.org | luchesi
595 Hostname luchesi.debian.org
597 Host lully.debian.org | lully
598 Hostname lully.debian.org
600 Host lw01.debian.org | lw01
601 Hostname lw01.debian.org
603 Host lw02.debian.org | lw02
604 Hostname lw02.debian.org
606 Host lw03.debian.org | lw03
607 Hostname lw03.debian.org
609 Host lw04.debian.org | lw04
610 Hostname lw04.debian.org
612 Host lw07.debian.org | lw07
613 Hostname lw07.debian.org
615 Host lw08.debian.org | lw08
616 Hostname lw08.debian.org
618 Host mailly.debian.org | mailly
619 Hostname mailly.debian.org
621 Host master.debian.org | master
622 Hostname master.debian.org
624 Host mayer.debian.org | mayer
625 Hostname mayer.debian.org
627 Host mayr.debian.org | mayr
628 Hostname mayr.debian.org
630 Host menotti.debian.org | menotti
631 Hostname menotti.debian.org
633 Host merulo.debian.org | merulo
634 Hostname merulo.debian.org
636 Host milanollo.debian.org | milanollo
637 Hostname milanollo.debian.org
639 Host mipsel-manda-01.debian.org | mipsel-manda-01
640 Hostname mipsel-manda-01.debian.org
642 Host mipsel-manda-02.debian.org | mipsel-manda-02
643 Hostname mipsel-manda-02.debian.org
645 Host moszumanska.debian.org | moszumanska
646 Hostname moszumanska.debian.org
648 Host muffat.debian.org | muffat
649 Hostname muffat.debian.org
651 Host mundy.debian.org | mundy
652 Hostname mundy.debian.org
654 Host murphy.debian.org | murphy
655 Hostname murphy.debian.org
657 Host nono.debian.org | nono
658 Hostname nono.debian.org
660 Host oyens.debian.org | oyens
661 Hostname oyens.debian.org
663 Host paradis.debian.org | paradis
664 Hostname paradis.debian.org
666 Host parry.debian.org | parry
667 Hostname parry.debian.org
669 Host partch.debian.org | partch
670 Hostname partch.debian.org
672 Host pasquini.debian.org | pasquini
673 Hostname pasquini.debian.org
675 Host pastel.debian.net | pastel
676 Hostname pastel.debian.net
678 Host pejacevic.debian.org | pejacevic
679 Hostname pejacevic.debian.org
681 Host peri.debian.org | peri
682 Hostname peri.debian.org
684 Host petrova.debian.org | petrova
685 Hostname petrova.debian.org
687 Host pettersson.debian.org | pettersson
688 Hostname pettersson.debian.org
690 Host philp.debian.org | philp
691 Hostname philp.debian.org
693 Host picconi.debian.org | picconi
694 Hostname picconi.debian.org
696 Host piu-slave-bm-a.debian.org | piu-slave-bm-a
697 Hostname piu-slave-bm-a.debian.org
699 Host pkgmirror-1and1.debian.org | pkgmirror-1and1
700 Hostname pkgmirror-1and1.debian.org
702 Host popov.debian.org | popov
703 Hostname popov.debian.org
705 Host porpora.debian.org | porpora
706 Hostname porpora.debian.org
708 Host portman.debian.org | portman
709 Hostname portman.debian.org
711 Host poulenc.debian.org | poulenc
712 Hostname poulenc.debian.org
714 Host powell.debian.org | powell
715 Hostname powell.debian.org
717 Host praetorius.debian.org | praetorius
718 Hostname praetorius.debian.org
720 Host quantz.debian.org | quantz
721 Hostname quantz.debian.org
723 Host rainier.debian.org | rainier
724 Hostname rainier.debian.org
726 Host rapoport.debian.org | rapoport
727 Hostname rapoport.debian.org
729 Host rautavaara.debian.org | rautavaara
730 Hostname rautavaara.debian.org
732 Host ravel.debian.org | ravel
733 Hostname ravel.debian.org
735 Host reger.debian.org | reger
736 Hostname reger.debian.org
738 Host rem.debian.org | rem
739 Hostname rem.debian.org
741 Host ries.debian.org | ries
742 Hostname ries.debian.org
744 Host rietz.debian.org | rietz
745 Hostname rietz.debian.org
747 Host rossini.debian.org | rossini
748 Hostname rossini.debian.org
750 Host saens.debian.org | saens
751 Hostname saens.debian.org
753 Host salieri.debian.org | salieri
754 Hostname salieri.debian.org
756 Host santoro.debian.org | santoro
757 Hostname santoro.debian.org
759 Host scelsi.debian.org | scelsi
760 Hostname scelsi.debian.org
762 Host schein.debian.org | schein
763 Hostname schein.debian.org
765 Host schroeder.debian.org | schroeder
766 Hostname schroeder.debian.org
768 Host schumann.debian.org | schumann
769 Hostname schumann.debian.org
771 Host sechter.debian.org | sechter
772 Hostname sechter.debian.org
774 Host senfl.debian.org | senfl
775 Hostname senfl.debian.org
777 Host senfter.debian.org | senfter
778 Hostname senfter.debian.org
780 Host sh4.g15.jp | sh4
783 Host sibelius.debian.org | sibelius
784 Hostname sibelius.debian.org
786 Host smetana.debian.org | smetana
787 Hostname smetana.debian.org
789 Host soler.debian.org | soler
790 Hostname soler.debian.org
792 Host sompek.debian.org | sompek
793 Hostname sompek.debian.org
795 Host sonntag.debian.org | sonntag
796 Hostname sonntag.debian.org
798 Host spohr.debian.org | spohr
799 Hostname spohr.debian.org
801 Host spontini.debian.org | spontini
802 Hostname spontini.debian.org
804 Host stabile.debian.org | stabile
805 Hostname stabile.debian.org
807 Host stadler.debian.org | stadler
808 Hostname stadler.debian.org
810 Host steffani.debian.org | steffani
811 Hostname steffani.debian.org
813 Host stockhausen.debian.org | stockhausen
814 Hostname stockhausen.debian.org
816 Host storace.debian.org | storace
817 Hostname storace.debian.org
819 Host strauss.debian.net | strauss
820 Hostname strauss.debian.net
822 Host sumotsu.debian.net | sumotsu
823 Hostname sumotsu.debian.net
825 Host tchaikovsky.debian.org | tchaikovsky
826 Hostname tchaikovsky.debian.org
828 Host ticharich.debian.org | ticharich
829 Hostname ticharich.debian.org
831 Host traetta.debian.org | traetta
832 Hostname traetta.debian.org
834 Host tristano.debian.org | tristano
835 Hostname tristano.debian.org
837 Host tye.debian.org | tye
838 Hostname tye.debian.org
840 Host ullmann.debian.org | ullmann
841 Hostname ullmann.debian.org
843 Host unger.debian.org | unger
844 Hostname unger.debian.org
846 Host vasks.debian.org | vasks
847 Hostname vasks.debian.org
849 Host vento.debian.org | vento
850 Hostname vento.debian.org
852 Host villa.debian.org | villa
853 Hostname villa.debian.org
855 Host vitry.debian.org | vitry
856 Hostname vitry.debian.org
858 Host vogler.debian.org | vogler
859 Hostname vogler.debian.org
861 Host wagner.debian.org | wagner
862 Hostname wagner.debian.org
864 Host wieck.debian.org | wieck
865 Hostname wieck.debian.org
867 Host wilder.debian.org | wilder
868 Hostname wilder.debian.org
870 Host wolkenstein.debian.org | wolkenstein
871 Hostname wolkenstein.debian.org
873 Host wuiet.debian.org | wuiet
874 Hostname wuiet.debian.org
876 Host xoothais.err.no | xoothais
877 Hostname xoothais.err.no
879 Host zandonai.debian.org | zandonai
880 Hostname zandonai.debian.org
882 Host zani.debian.org | zani
883 Hostname zani.debian.org
885 Host zelenka.debian.org | zelenka
886 Hostname zelenka.debian.org
888 Host zemlinsky.debian.org | zemlinsky
889 Hostname zemlinsky.debian.org
892 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
893 Hostname nelson.debconf.org
894 ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
896 Host kent.debconf.org | kent
897 Hostname kent.debconf.org
898 ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
902 Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
903 Hostname lion.mjollnir.org
908 Hostname remotes.club
917 Hostname squiggle.city
921 Hostname 001.tilde.city
926 Host workbuffer.org | nz
927 Hostname workbuffer.org
932 Host github.com | github
941 ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
944 ExitOnForwardFailure yes
949 NumberOfPasswordPrompts 2
950 PasswordAuthentication yes
952 ServerAliveInterval 45
953 StrictHostKeyChecking yes