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