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