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:

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