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:

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