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:

remove vera
[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 ### CHARADE KVM HOST
8
9 Host charade.madduck.net | charade
10   ForwardAgent yes
11   Hostname charade.madduck.net
12 Host charade-vnc
13   ControlMaster no
14   ControlPath none
15   Hostname charade.madduck.net
16
17 Host matilda.madduck.net | matilda
18   StrictHostKeyChecking no
19   UserKnownHostsFile /dev/null
20   Hostname matilda.madduck.net
21   ControlMaster no
22   ControlPath none
23
24 ### KHYBER KVM HOST
25
26 Host khyber.madduck.net | khyber
27   ForwardAgent yes
28   Hostname khyber.madduck.net
29 Host khyber-vnc
30   ControlMaster no
31   ControlPath none
32   Hostname khyber.madduck.net
33
34 Host lotus.madduck.net | lotus
35   ForwardAgent yes
36   Hostname lotus.madduck.net
37 Host git.madduck.net | git
38   User git
39   HostKeyAlias lotus.madduck.net
40 Host git.debian.ch
41   User git
42   HostKeyAlias lotus.madduck.net
43 Host martin-krafft.net
44   User madduck
45   HostKeyAlias lotus.madduck.net
46 Host phd.martin-krafft.net
47   User madduck
48   HostKeyAlias lotus.madduck.net
49 Host madduck.net
50   User madduck
51   HostKeyAlias lotus.madduck.net
52
53 Host jugband.madduck.net | jugband
54   ForwardAgent yes
55   Hostname jugband.madduck.net
56
57 Host domine.madduck.net | domine
58   ForwardAgent yes
59   Hostname domine.madduck.net
60 Host irc
61   User madduck
62   Hostname domine.madduck.net
63   ConnectTimeout 60
64 Host imap.madduck.net
65   HostKeyAlias domine.madduck.net
66
67 Host aika.krafftwerk.de | aika
68   Hostname aika.krafftwerk.de
69
70 Host vizier.madduck.net | vizier
71   ForwardAgent yes
72   Hostname vizier.madduck.net
73
74 Host sysyphus.madduck.net | sysyphus
75   ForwardAgent yes
76   Hostname sysyphus.madduck.net
77 Host ssh443.madduck.net | ssh443
78   HostKeyAlias sysyphus.madduck.net
79   ForwardAgent yes
80   Port 443
81 Host openvpn.madduck.net | openvpn
82   HostKeyAlias sysyphus.madduck.net
83
84 Host wots.madduck.net | wots
85   ForwardAgent yes
86   Hostname wots.madduck.net
87 Host buildd.debian.madduck.net | buildd
88   HostKeyAlias wots.madduck.net
89
90 ### UNI ZURICH MACHINES
91
92 Host diamond.madduck.net | diamond
93   ForwardAgent yes
94   Hostname diamond.madduck.net
95 Host debian.madduck.net | debian
96   HostKeyAlias diamond.madduck.net
97 Host scratch.madduck.net | scratch
98   User madduck
99   HostKeyAlias diamond.madduck.net
100 Host tunes.madduck.net | tunes
101   AddressFamily inet
102   ControlMaster no
103   Hostname tunes.madduck.net
104   HostKeyAlias diamond.madduck.net
105   IPQoS lowdelay af13
106 Host flics.madduck.net | flics
107   AddressFamily inet
108   ControlMaster no
109   Hostname flics.madduck.net
110   HostKeyAlias diamond.madduck.net
111   IPQoS lowdelay af13
112
113 Host shelter.madduck.net | shelter
114   ForwardAgent yes
115   Hostname shelter.madduck.net
116 Host backup.madduck.net | backup
117   HostKeyAlias shelter.madduck.net
118
119 Host sergei.ifi.uzh.ch | sergei
120   Hostname sergei.ifi.uzh.ch
121   User krafft
122 Host nikolai.ifi.uzh.ch | nikolai
123   Hostname nikolai.ifi.uzh.ch
124   User krafft
125 Host franz.ifi.uzh.ch | franz
126   Hostname franz.ifi.uzh.ch
127   User krafft
128
129 ### SWAN / BYTEMARK
130
131 Host swan-host | swan-host.madduck.net
132   Hostname swan-host.madduck.net
133   User krafft
134
135 Host swan.madduck.net | swan
136   ForwardAgent yes
137   Hostname swan.madduck.net
138
139 ### ARNOLD / GPLHOST
140 #
141 Host arnold-host | arnold-host.madduck.net
142   Hostname arnold-host.madduck.net
143   User xen05
144
145 ### GERN
146
147 Host wall.gern.madduck.net | wall
148   CheckHostIP no
149   ForwardAgent yes
150   Hostname wall.gern.madduck.net
151
152 Host julia.gern.madduck.net | julia
153   Hostname julia.gern.madduck.net
154   ForwardAgent yes
155 Host juliae
156   Hostname wall.gern.madduck.net
157   Port 22002
158   CheckHostIP no
159   ForwardAgent yes
160   ForwardX11 yes
161   HostKeyAlias julia.gern.madduck.net
162
163 Host albatross.lehel.madduck.net | albatross
164   Hostname albatross.lehel.madduck.net
165   ForwardAgent yes
166   ForwardX11 yes
167 Host albatrosse
168   Hostname wall.gern.madduck.net
169   Port 22032
170   CheckHostIP no
171   ForwardAgent yes
172   ForwardX11 yes
173   HostKeyAlias albatross.lehel.madduck.net
174
175 Host galaxy-s2.phones.gern | galaxy-s2
176   Hostname galaxy-s2.phones.gern
177   HostKeyAlias galaxy-s2.phones.gern
178   User root
179
180 Host pict.gern.madduck.net | pict
181   Hostname pict.gern.madduck.net
182   ForwardAgent yes
183   ForwardX11 yes
184
185 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
186   StrictHostKeyChecking no
187   UserKnownHostsFile /dev/null
188
189 ### LEHEL
190
191 Host clegg.lehel.madduck.net | clegg
192   CheckHostIP no
193   ForwardAgent yes
194   Hostname clegg.lehel.madduck.net
195
196 ### GAUTING
197
198 Host embryo.gauting.madduck.net | embryo
199   CheckHostIP no
200   ForwardAgent yes
201   Hostname embryo.gauting.madduck.net
202   HostKeyAlias embryo.gauting.madduck.net
203
204 Host mother.gauting | mother | mother.gauting.madduck.net
205   Hostname mother.gauting
206   ForwardAgent yes
207   ForwardX11 yes
208 Host mothere
209   Hostname embryo.gauting.madduck.net
210   Port 22221
211   CheckHostIP no
212   ForwardAgent yes
213   ForwardX11 yes
214   HostKeyAlias mother.gauting.madduck.net
215
216 Host brick.gauting.madduck.net | brick
217   Hostname brick.gauting.madduck.net
218   ForwardAgent yes
219   ForwardX11 yes
220 Host bricke
221   Hostname embryo.gauting.madduck.net
222   Port 22222
223   CheckHostIP no
224   ForwardAgent yes
225   ForwardX11 yes
226   HostKeyAlias brick.gauting.madduck.net
227
228 ### ROAD WARRIORS
229
230 Host lapse.rw.madduck.net | lapse.gern.madduck.net | lapse
231   CheckHostIP no
232   ForwardAgent yes
233   ForwardX11 yes
234
235 Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
236   CheckHostIP no
237   ForwardAgent yes
238   ForwardX11 yes
239
240 ### DEBIAN
241
242 Host svn.debian.org
243   HostKeyAlias vasks.debian.org
244   User madduck
245 Host git.debian.org
246   HostKeyAlias vasks.debian.org
247   User madduck
248 Host hg.debian.org
249   HostKeyAlias vasks.debian.org
250   User madduck
251 Host cvs.debian.org
252   HostKeyAlias vasks.debian.org
253   User madduck
254
255 Host people.debian.org
256   HostKeyAlias ravel.debian.org
257   User madduck
258
259 Host abel.debian.org | abel
260   Hostname abel.debian.org
261   User madduck
262 Host agricola.debian.org | agricola
263   Hostname agricola.debian.org
264   User madduck
265 Host albeniz.debian.org | albeniz
266   Hostname albeniz.debian.org
267   User madduck
268 Host asdfasdf.debian.net | asdfasdf
269   Hostname asdfasdf.debian.net
270   User madduck
271 Host busoni.debian.org | busoni
272   Hostname busoni.debian.org
273   User madduck
274 Host cilea.debian.org | cilea
275   Hostname cilea.debian.org
276   User madduck
277 Host duarte.debian.org | duarte
278   Hostname duarte.debian.org
279   User madduck
280 Host dukas.debian.org | dukas
281   Hostname dukas.debian.org
282   User madduck
283 Host glinka.debian.org | glinka
284   Hostname glinka.debian.org
285   User madduck
286 Host grieg.debian.org | grieg
287   Hostname grieg.debian.org
288   User madduck
289 Host io.debian.net | io
290   Hostname io.debian.net
291   User madduck
292 Host lindberg.debian.org | lindberg
293   Hostname lindberg.debian.org
294   User madduck
295 Host master.debian.org | master
296   Hostname master.debian.org
297   User madduck
298 Host merulo.debian.org | merulo
299   Hostname merulo.debian.org
300   User madduck
301 Host nono.debian.org | nono
302   Hostname nono.debian.org
303   User madduck
304 Host paer.debian.org | paer
305   Hostname paer.debian.org
306   User madduck
307 Host paganini.debian.org | paganini
308   Hostname paganini.debian.org
309   User madduck
310 Host pergolesi.debian.org | pergolesi
311   Hostname pergolesi.debian.org
312   User madduck
313 Host pescetti.debian.org | pescetti
314   Hostname pescetti.debian.org
315   User madduck
316 Host piatti.debian.org | piatti
317   Hostname piatti.debian.org
318   User madduck
319 Host powell.debian.org | powell
320   Hostname powell.debian.org
321   User madduck
322 Host quantz.debian.org | quantz
323   Hostname quantz.debian.org
324   User madduck
325 Host ravel.debian.org | ravel
326   Hostname ravel.debian.org
327   User madduck
328 Host respighi.debian.org | respighi
329   Hostname respighi.debian.org
330   User madduck
331 Host ries.debian.org | ries
332   Hostname ries.debian.org
333   User madduck
334 Host rore.debian.org | rore
335   Hostname rore.debian.org
336   User madduck
337 Host samosa.debian.org | samosa
338   Hostname samosa.debian.org
339   User madduck
340 Host senfl.debian.org | senfl
341   Hostname senfl.debian.org
342   User madduck
343 Host sh4.g15.jp | sh4
344   Hostname sh4.g15.jp
345   User madduck
346 Host smetana.debian.org | smetana
347   Hostname smetana.debian.org
348   User madduck
349 Host sperger.debian.org | sperger
350   Hostname sperger.debian.org
351   User madduck
352 Host stabile.debian.org | stabile
353   Hostname stabile.debian.org
354   User madduck
355 Host strauss.debian.net | strauss
356   Hostname strauss.debian.net
357   User madduck
358 Host sumotsu.debian.net | sumotsu
359   Hostname sumotsu.debian.net
360   User madduck
361 Host tye.debian.org | tye
362   Hostname tye.debian.org
363   User madduck
364 Host vasks.debian.org | vasks
365   Hostname vasks.debian.org
366   User madduck
367 Host vivaldi.debian.org | vivaldi
368   Hostname vivaldi.debian.org
369   User madduck
370 Host wagner.debian.org | wagner
371   Hostname wagner.debian.org
372   User madduck
373 Host widor.debian.org | widor
374   Hostname widor.debian.org
375   User madduck
376 Host zelenka.debian.org | zelenka
377   Hostname zelenka.debian.org
378   User madduck
379
380 ### NZ
381
382 Host workbuffer.org | nz
383   Hostname workbuffer.org
384   User madduck
385
386 ### MISC
387
388 Host github.com | github
389   Hostname github.com
390   User git
391
392 ### DEFAULTS
393
394 Host *
395 # AddressFamily any
396 # BatchMode no
397 # CheckHostIP yes
398   Cipher blowfish
399 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
400 # ClearAllForwardings no
401 # Compression no
402 # CompressionLevel 6
403 # ConnectionAttempts 1
404   ConnectTimeout 10
405   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
406   ControlMaster auto
407   ControlPersist 5
408 ## DSAAuthentication no
409 # DynamicForward off
410 # EnableSSHKeysign no
411 # EscapeChar ~
412   ExitOnForwardFailure yes
413   ForwardAgent no
414   ForwardX11 no
415 # ForwardX11Trusted yes
416 # GatewayPorts no
417 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
418   HashKnownHosts no
419 # HostbasedAuthentication no
420   HostKeyAlgorithms ssh-rsa
421 # IdentityFile ~/.ssh/identity
422   IdentityFile2 ~/.ssh/id_rsa
423   IPQoS lowdelay throughput
424 # KbdInteractiveDevices pam
425 # LocalCommand none
426 # LocalForward none
427 # LogLevel INFO
428   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
429 # NoHostAuthenticationForLocalhost no
430   NumberOfPasswordPrompts 2
431   PasswordAuthentication yes
432 # PermitLocalCommand no
433 # Port 22
434 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
435   Protocol 2
436 # ProxyCommand
437 # PubkeyAuthentication yes
438 # RekeyLimit 1G-4G #depends on cipher
439 # RemoteForward
440 # RhostsRSAAuthentication no
441 # RSAAuthentication no
442 # ServerAliveCountMax 3
443   ServerAliveInterval 45
444   SetupTimeOut 10
445 # SmartcardDevice off
446   StrictHostKeyChecking yes
447 # TCPKeepAlive yes
448 # Tunnel no
449 # TunnelDevice any:any
450 # UsePrivilegedPort no
451 # UserKnownHostsFile ~/.ssh/known_hosts
452 # VerifyHostKeyDNS no
453   VisualHostKey no
454 # XAuthLocation /usr/X11R6/bin/xauth