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:

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