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:

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