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 atom.mtvic config
[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 wagner.debian.org
253   User madduck
254 Host svn.debian.org
255   HostKeyAlias vasks.debian.org
256   User madduck
257 Host git.debian.org
258   HostKeyAlias vasks.debian.org
259   User madduck
260 Host hg.debian.org
261   HostKeyAlias vasks.debian.org
262   User madduck
263 Host cvs.debian.org
264   HostKeyAlias vasks.debian.org
265   User madduck
266
267 Host people.debian.org
268   HostKeyAlias ravel.debian.org
269   User madduck
270
271 Host abel.debian.org | abel
272   Hostname abel.debian.org
273   User madduck
274 Host agricola.debian.org | agricola
275   Hostname agricola.debian.org
276   User madduck
277 Host albeniz.debian.org | albeniz
278   Hostname albeniz.debian.org
279   User madduck
280 Host asdfasdf.debian.net | asdfasdf
281   Hostname asdfasdf.debian.net
282   User madduck
283 Host busoni.debian.org | busoni
284   Hostname busoni.debian.org
285   User madduck
286 Host cilea.debian.org | cilea
287   Hostname cilea.debian.org
288   User madduck
289 Host duarte.debian.org | duarte
290   Hostname duarte.debian.org
291   User madduck
292 Host dukas.debian.org | dukas
293   Hostname dukas.debian.org
294   User madduck
295 Host glinka.debian.org | glinka
296   Hostname glinka.debian.org
297   User madduck
298 Host grieg.debian.org | grieg
299   Hostname grieg.debian.org
300   User madduck
301 Host io.debian.net | io
302   Hostname io.debian.net
303   User madduck
304 Host lindberg.debian.org | lindberg
305   Hostname lindberg.debian.org
306   User madduck
307 Host master.debian.org | master
308   Hostname master.debian.org
309   User madduck
310 Host merulo.debian.org | merulo
311   Hostname merulo.debian.org
312   User madduck
313 Host nono.debian.org | nono
314   Hostname nono.debian.org
315   User madduck
316 Host paer.debian.org | paer
317   Hostname paer.debian.org
318   User madduck
319 Host paganini.debian.org | paganini
320   Hostname paganini.debian.org
321   User madduck
322 Host pergolesi.debian.org | pergolesi
323   Hostname pergolesi.debian.org
324   User madduck
325 Host pescetti.debian.org | pescetti
326   Hostname pescetti.debian.org
327   User madduck
328 Host piatti.debian.org | piatti
329   Hostname piatti.debian.org
330   User madduck
331 Host powell.debian.org | powell
332   Hostname powell.debian.org
333   User madduck
334 Host quantz.debian.org | quantz
335   Hostname quantz.debian.org
336   User madduck
337 Host ravel.debian.org | ravel
338   Hostname ravel.debian.org
339   User madduck
340 Host respighi.debian.org | respighi
341   Hostname respighi.debian.org
342   User madduck
343 Host ries.debian.org | ries
344   Hostname ries.debian.org
345   User madduck
346 Host rore.debian.org | rore
347   Hostname rore.debian.org
348   User madduck
349 Host samosa.debian.org | samosa
350   Hostname samosa.debian.org
351   User madduck
352 Host senfl.debian.org | senfl
353   Hostname senfl.debian.org
354   User madduck
355 Host sh4.g15.jp | sh4
356   Hostname sh4.g15.jp
357   User madduck
358 Host smetana.debian.org | smetana
359   Hostname smetana.debian.org
360   User madduck
361 Host sperger.debian.org | sperger
362   Hostname sperger.debian.org
363   User madduck
364 Host stabile.debian.org | stabile
365   Hostname stabile.debian.org
366   User madduck
367 Host strauss.debian.net | strauss
368   Hostname strauss.debian.net
369   User madduck
370 Host sumotsu.debian.net | sumotsu
371   Hostname sumotsu.debian.net
372   User madduck
373 Host tye.debian.org | tye
374   Hostname tye.debian.org
375   User madduck
376 Host vasks.debian.org | vasks
377   Hostname vasks.debian.org
378   User madduck
379 Host vivaldi.debian.org | vivaldi
380   Hostname vivaldi.debian.org
381   User madduck
382 Host wagner.debian.org | wagner
383   Hostname wagner.debian.org
384   User madduck
385 Host widor.debian.org | widor
386   Hostname widor.debian.org
387   User madduck
388 Host zelenka.debian.org | zelenka
389   Hostname zelenka.debian.org
390   User madduck
391
392 ### NZ
393
394 Host workbuffer.org | nz
395   Hostname workbuffer.org
396   User madduck
397
398 ### MISC
399
400 Host github.com | github
401   Hostname github.com
402   User git
403
404 ### DEFAULTS
405
406 Host *
407 # AddressFamily any
408 # BatchMode no
409 # CheckHostIP yes
410   Cipher blowfish
411 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
412 # ClearAllForwardings no
413 # Compression no
414 # CompressionLevel 6
415 # ConnectionAttempts 1
416   ConnectTimeout 10
417   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
418   ControlMaster auto
419   ControlPersist 5
420 ## DSAAuthentication no
421 # DynamicForward off
422 # EnableSSHKeysign no
423 # EscapeChar ~
424   ExitOnForwardFailure yes
425   ForwardAgent no
426   ForwardX11 no
427 # ForwardX11Trusted yes
428 # GatewayPorts no
429 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
430   HashKnownHosts no
431 # HostbasedAuthentication no
432   HostKeyAlgorithms ssh-rsa
433 # IdentityFile ~/.ssh/identity
434   IdentityFile2 ~/.ssh/id_rsa
435   IPQoS lowdelay throughput
436 # KbdInteractiveDevices pam
437 # LocalCommand none
438 # LocalForward none
439 # LogLevel INFO
440   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
441 # NoHostAuthenticationForLocalhost no
442   NumberOfPasswordPrompts 2
443   PasswordAuthentication yes
444 # PermitLocalCommand no
445 # Port 22
446 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
447   Protocol 2
448 # ProxyCommand
449 # PubkeyAuthentication yes
450 # RekeyLimit 1G-4G #depends on cipher
451 # RemoteForward
452 # RhostsRSAAuthentication no
453 # RSAAuthentication no
454 # ServerAliveCountMax 3
455   ServerAliveInterval 45
456   SetupTimeOut 10
457 # SmartcardDevice off
458   StrictHostKeyChecking yes
459 # TCPKeepAlive yes
460 # Tunnel no
461 # TunnelDevice any:any
462 # UsePrivilegedPort no
463 # UserKnownHostsFile ~/.ssh/known_hosts
464 # VerifyHostKeyDNS no
465   VisualHostKey no
466 # XAuthLocation /usr/X11R6/bin/xauth