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:

remove vizier hostkey and config
[etc/ssh.git] / .ssh / config.in
1 Host 127.0.0.1 | localhost
2   ForwardAgent yes
3   ForwardX11 yes
4   ForwardX11Trusted yes
5   NoHostAuthenticationForLocalhost yes
6
7 Host pulse.madduck.net | pulse
8   ForwardAgent yes
9   Hostname pulse.madduck.net
10   #AddressFamily inet
11 Host svn.madduck.net | svn
12   User madduck
13   HostKeyAlias pulse.madduck.net
14 Host scratch.madduck.net | scratch
15   User madduck
16   HostKeyAlias pulse.madduck.net
17   #AddressFamily inet
18 Host debian.madduck.net | debian
19   User madduck
20   HostKeyAlias pulse.madduck.net
21   #AddressFamily inet
22 Host openvpn.madduck.net | openvpn
23   User madduck
24   HostKeyAlias pulse.madduck.net
25   #AddressFamily inet
26 Host ssh443.madduck.net | ssh443
27   User madduck
28   HostKeyAlias pulse.madduck.net
29   ForwardAgent yes
30   Port 443
31 Host backup.madduck.net | backup
32   HostKeyAlias pulse.madduck.net
33   #AddressFamily inet
34
35 Host khyber.madduck.net | khyber
36   ForwardAgent yes
37   Hostname khyber.madduck.net
38
39 Host wots.madduck.net | wots
40   ForwardAgent yes
41   Hostname wots.madduck.net
42 Host buildd.debian.madduck.net | buildd
43   HostKeyAlias wots.madduck.net
44
45 Host lotus.madduck.net | lotus
46   ForwardAgent yes
47   Hostname lotus.madduck.net
48 Host git.madduck.net | git
49   User git
50   HostKeyAlias lotus.madduck.net
51 Host git.debian.ch
52   User git
53   HostKeyAlias lotus.madduck.net
54
55 Host jugband.madduck.net | jugband
56   ForwardAgent yes
57   Hostname jugband.madduck.net
58
59 Host vera.madduck.net | vera
60   ForwardAgent yes
61   Hostname vera.madduck.net
62
63 Host swan-host | swan-host.madduck.net
64   Hostname swan-host.madduck.net
65   User krafft
66
67 Host swan.madduck.net | swan
68   ForwardAgent yes
69   Hostname swan.madduck.net
70
71 Host domine.madduck.net | domine
72   ForwardAgent yes
73   Hostname domine.madduck.net
74
75 Host irc
76   Hostname bell.madduck.net
77
78 Host martin-krafft.net
79   User madduck
80   HostKeyAlias seamus.madduck.net
81 Host phd.martin-krafft.net
82   User madduck
83   HostKeyAlias seamus.madduck.net
84 Host madduck.net
85   User madduck
86   HostKeyAlias seamus.madduck.net
87 Host imap.madduck.net
88   HostKeyAlias seamus.madduck.net
89
90 Host bell.madduck.net | bell
91   ForwardAgent yes
92   Hostname bell.madduck.net
93 Host tunes.madduck.net | tunes
94   AddressFamily inet
95   ControlMaster no
96   Hostname tunes.madduck.net
97   HostKeyAlias bell.madduck.net
98
99 Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
100   Hostname sheep.umverkehr.ch
101   User madduck
102
103 Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
104   CheckHostIP no
105   ForwardAgent yes
106   ForwardX11 yes
107
108 Host fishbowl.rw.madduck.net | fishbowl.oerlikon.madduck.net | fishbowl
109   CheckHostIP no
110   ForwardAgent yes
111   ForwardX11 yes
112
113 Host wall.oerlikon.madduck.net | wall
114   CheckHostIP no
115   ForwardAgent yes
116   Hostname wall.oerlikon.madduck.net
117
118 Host julia.oerlikon.madduck.net | julia
119   Hostname julia.oerlikon.madduck.net
120   ForwardAgent yes
121
122 Host embryo.gauting.madduck.net | embryo
123   CheckHostIP no
124   ForwardAgent yes
125   Hostname embryo.gauting.madduck.net
126   HostKeyAlias embryo.gauting.madduck.net
127
128 Host piper.oerlikon.madduck.net | piper
129   Hostname piper.oerlikon.madduck.net
130   ForwardAgent yes
131   ForwardX11 yes
132 #  AddressFamily inet
133 Host pipere
134   Hostname wall.oerlikon.madduck.net
135   Port 22223
136   CheckHostIP no
137   ForwardAgent yes
138   ForwardX11 yes
139   HostKeyAlias piper.oerlikon.madduck.net
140
141 Host pict.oerlikon.madduck.net | pict
142   Hostname pict.oerlikon.madduck.net
143   ForwardAgent yes
144   ForwardX11 yes
145 #  AddressFamily inet
146
147 Host nokia-n900.oerlikon.madduck.net | nokia-n900 | n900
148   CheckHostIP no
149   ForwardAgent yes
150   ForwardX11 yes
151   User user
152
153 Host auge-fr.no-ip.org | auge
154   CheckHostIP no
155   Hostname auge-fr.no-ip.org
156   HostKeyAlias helena.home.mjollnir.org
157
158 Host hermia.home.mjollnir.org | hermia | lust.oerlikon.madduck.net | lust
159   CheckHostIP no
160   ForwardX11 yes
161   HostKeyAlias hermia.home.mjollnir.org
162
163 Host mother.gauting.madduck.net | mother
164   Hostname mother.gauting.madduck.net
165   ForwardAgent yes
166   ForwardX11 yes
167 Host mothere
168   Hostname embryo.gauting.madduck.net
169   Port 22221
170   CheckHostIP no
171   ForwardAgent yes
172   ForwardX11 yes
173   HostKeyAlias mother.gauting.madduck.net
174
175 Host brick.gauting.madduck.net | brick
176   Hostname brick.gauting.madduck.net
177   ForwardAgent yes
178   ForwardX11 yes
179 Host bricke
180   Hostname embryo.gauting.madduck.net
181   Port 22222
182   CheckHostIP no
183   ForwardAgent yes
184   ForwardX11 yes
185   HostKeyAlias brick.gauting.madduck.net
186
187 Host zlinli.no-ip.org | zlinli
188   CheckHostIP no
189   Hostname zlinli.no-ip.org
190
191 Host debian-community.org | bikeshed.debian-community.org | bikeshed
192   Hostname bikeshed.debian-community.org
193   User madduck
194   ForwardAgent no
195   ForwardX11 no
196
197 Host alioth.debian.org | alioth
198   Hostname alioth.debian.org
199   User madduck
200 Host svn.debian.org
201   HostKeyAlias alioth.debian.org
202   User madduck
203 Host git.debian.org
204   HostKeyAlias alioth.debian.org
205   User madduck
206 Host hg.debian.org
207   HostKeyAlias alioth.debian.org
208   User madduck
209 Host cvs.debian.org
210   HostKeyAlias alioth.debian.org
211   User madduck
212
213 Host malo.debian.org | malo
214   Hostname malo.debian.org
215   User madduck
216 Host paer.debian.org | paer
217   Hostname paer.debian.org
218   User madduck
219 Host crest.debian.org | crest
220   Hostname crest.debian.org
221   User madduck
222 Host saens.debian.org | saens
223   Hostname saens.debian.org
224   User madduck
225 Host spohr.debian.org | spohr
226   Hostname spohr.debian.org
227   User madduck
228 Host gluck.debian.org | gluck
229   Hostname gluck.debian.org
230   User madduck
231 Host elara.debian.org | elara
232   Hostname elara.debian.org
233   User madduck
234 Host sarti.debian.org | sarti
235   Hostname sarti.debian.org
236   User madduck
237 Host europa.debian.org | europa
238   Hostname europa.debian.org
239   User madduck
240 Host master.debian.org | master
241   Hostname master.debian.org
242   User madduck
243 Host bartok.debian.org | bartok
244   Hostname bartok.debian.org
245   User madduck
246 Host merulo.debian.org | merulo
247   Hostname merulo.debian.org
248   User madduck
249 Host merkel.debian.org | merkel
250   Hostname merkel.debian.org
251   User madduck
252 Host murphy.debian.org | murphy
253   Hostname murphy.debian.org
254   User madduck
255 Host raptor.debian.org | raptor
256   Hostname raptor.debian.org
257   User madduck
258 Host tartini.debian.org | tartini
259   Hostname tartini.debian.org
260   User madduck
261 Host raff.debian.org | raff
262   Hostname raff.debian.org
263   User madduck
264 Host klecker.debian.org | klecker
265   Hostname klecker.debian.org
266   User madduck
267 Host voltaire.debian.org | voltaire
268   Hostname voltaire.debian.org
269   User madduck
270 Host bruckner.debian.org | bruckner
271   Hostname bruckner.debian.org
272   User madduck
273 Host kullervo.debian.org | kullervo
274   Hostname kullervo.debian.org
275   User madduck
276 Host samosa.debian.org | samosa
277   Hostname samosa.debian.org
278   User madduck
279 Host caballero.debian.org | caballero
280   Hostname caballero.debian.org
281   User madduck
282 Host pergolesi.debian.org | pergolesi
283   Hostname pergolesi.debian.org
284   User madduck
285 Host spontini.debian.org | spontini
286   Hostname spontini.debian.org
287   User madduck
288 Host mayr.debian.org | mayr
289   Hostname mayr.debian.org
290   User madduck
291 Host mayer.debian.org | mayer
292   Hostname mayer.debian.org
293   User madduck
294 Host agnesi.debian.org | agnesi
295   Hostname agnesi.debian.org
296   User madduck
297 Host puccini.debian.org | puccini
298   Hostname puccini.debian.org
299   User madduck
300 Host villa.debian.org | villa
301   Hostname villa.debian.org
302   User madduck
303 Host piatti.debian.org | piatti
304   Hostname piatti.debian.org
305   User madduck
306 Host peri.debian.org | peri
307   Hostname peri.debian.org
308   User madduck
309 Host lobos.debian.org | lobos
310   Hostname lobos.debian.org
311   User madduck
312 Host wagner.debian.org | wagner
313   Hostname wagner.debian.org
314   User madduck
315 Host verdi.debian.org | verdi
316   Hostname verdi.debian.org
317   User madduck
318 Host ries.debian.org | ries
319   Hostname ries.debian.org
320   User madduck
321 Host goetz.debian.org | goetz
322   Hostname goetz.debian.org
323   User madduck
324 Host ravel.debian.org | ravel
325   Hostname ravel.debian.org
326   User madduck
327 Host rietz.debian.org | rietz
328   Hostname rietz.debian.org
329   User madduck
330 Host steffani.debian.org | steffani
331   Hostname steffani.debian.org
332   User madduck
333 Host lebrun.debian.org | lebrun
334   Hostname lebrun.debian.org
335   User madduck
336 Host liszt.debian.org | liszt
337   Hostname liszt.debian.org
338   User madduck
339 Host mundy.debian.org | mundy
340   Hostname mundy.debian.org
341   User madduck
342 Host albeniz.debian.org | albeniz
343   Hostname albeniz.debian.org
344   User madduck
345 Host sperger.debian.org | sperger
346   Hostname sperger.debian.org
347   User madduck
348 Host kassia.debian.org | kassia
349   Hostname kassia.debian.org
350   User madduck
351 Host agricola.debian.org | agricola
352   Hostname agricola.debian.org
353   User madduck
354 Host arcadelt.debian.org | arcadelt
355   Hostname arcadelt.debian.org
356   User madduck
357 Host penalosa.debian.org | penalosa
358   Hostname penalosa.debian.org
359   User madduck
360 Host argento.debian.org | argento
361   Hostname argento.debian.org
362   User madduck
363 Host allegri.debian.org | allegri
364   Hostname allegri.debian.org
365   User madduck
366 Host morales.debian.org | morales
367   Hostname morales.debian.org
368   User madduck
369 Host auber.debian.org | auber
370   Hostname auber.debian.org
371   User madduck
372 Host mahler.debian.org | mahler
373   Hostname mahler.debian.org
374   User madduck
375 Host schroeder.debian.org | schroeder
376   Hostname schroeder.debian.org
377   User madduck
378 Host powell.debian.org | powell
379   Hostname powell.debian.org
380   User madduck
381 Host rem.debian.org | rem
382   Hostname rem.debian.org
383   User madduck
384 Host smetana.debian.org | smetana
385   Hostname smetana.debian.org
386   User madduck
387 Host strauss.debian.net | strauss
388   Hostname strauss.debian.net
389   User madduck
390 Host bellini.debian.org | bellini
391   Hostname bellini.debian.org
392   User madduck
393
394 Host people.debian.org
395   HostKeyAlias ravel.debian.org
396   User madduck
397
398 Host sergei.ifi.uzh.ch | sergei
399   Hostname sergei.ifi.uzh.ch
400   User krafft
401 Host nikolai.ifi.uzh.ch | nikolai
402   Hostname nikolai.ifi.uzh.ch
403   User krafft
404
405 Host clegg-host | clegg-host.madduck.net | gratis2.opro.ch | opro
406   Hostname clegg-host.madduck.net
407   User madduck
408
409 Host skynet.skynet.ie | skynet.ie | skynet
410   Hostname skynet.skynet.ie
411   User madduck
412
413 Host aika.krafftwerk.de | aika
414   Hostname aika.krafftwerk.de
415
416 Host *
417 # AddressFamily any
418 # BatchMode no
419 # CheckHostIP yes
420   Cipher blowfish
421 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
422 # ClearAllForwardings no
423 # Compression no
424 # CompressionLevel 6
425 # ConnectionAttempts 1
426   ConnectTimeout 10
427   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
428   ControlMaster auto
429 ## DSAAuthentication no
430 # DynamicForward off
431 # EnableSSHKeysign no
432 # EscapeChar ~
433   ExitOnForwardFailure yes
434   ForwardAgent no
435   ForwardX11 no
436 # ForwardX11Trusted yes
437 # GatewayPorts no
438 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
439   HashKnownHosts no
440 # HostbasedAuthentication no
441   HostKeyAlgorithms ssh-rsa
442 # IdentityFile ~/.ssh/identity
443   IdentityFile2 ~/.ssh/id_rsa
444 # KbdInteractiveDevices pam
445 # LocalCommand none
446 # LocalForward none
447 # LogLevel INFO
448   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
449 # NoHostAuthenticationForLocalhost no
450   NumberOfPasswordPrompts 2
451   PasswordAuthentication yes
452 # PermitLocalCommand no
453 # Port 22
454 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
455   Protocol 2
456 # ProxyCommand
457 # PubkeyAuthentication yes
458 # RekeyLimit 1G-4G #depends on cipher
459 # RemoteForward
460 # RhostsRSAAuthentication no
461 # RSAAuthentication no
462 # ServerAliveCountMax 3
463   ServerAliveInterval 45
464   SetupTimeOut 10
465 # SmartcardDevice off
466   StrictHostKeyChecking yes
467 # TCPKeepAlive yes
468 # Tunnel no
469 # TunnelDevice any:any
470 # UsePrivilegedPort no
471 # UserKnownHostsFile ~/.ssh/known_hosts
472 # VerifyHostKeyDNS no
473   VisualHostKey no
474 # XAuthLocation /usr/X11R6/bin/xauth