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:

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