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:

update port-forwarding for mother
[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 albatross.lehel.madduck.net | albatross
161   Hostname albatross.lehel.madduck.net
162   ForwardAgent yes
163   ForwardX11 yes
164 Host albatrosse
165   Hostname wall.gern.madduck.net
166   Port 22032
167   CheckHostIP no
168   ForwardAgent yes
169   ForwardX11 yes
170   HostKeyAlias albatross.lehel.madduck.net
171
172 Host galaxy-s2.phones.gern | galaxy-s2
173   Hostname galaxy-s2.phones.gern
174   HostKeyAlias galaxy-s2.phones.gern
175   User root
176
177 Host pict.gern.madduck.net | pict
178   Hostname pict.gern.madduck.net
179   ForwardAgent yes
180   ForwardX11 yes
181
182 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
183   StrictHostKeyChecking no
184   UserKnownHostsFile /dev/null
185
186 ### LEHEL
187
188 Host clegg.lehel.madduck.net | clegg
189   CheckHostIP no
190   ForwardAgent yes
191   Hostname clegg.lehel.madduck.net
192
193 ### GAUTING
194
195 Host embryo.gauting.madduck.net | embryo
196   CheckHostIP no
197   ForwardAgent yes
198   Hostname embryo.gauting.madduck.net
199   HostKeyAlias embryo.gauting.madduck.net
200
201 Host mother.gauting | mother | mother.gauting.madduck.net
202   Hostname mother.gauting
203   ForwardAgent yes
204   ForwardX11 yes
205 Host mothere
206   Hostname embryo.gauting.madduck.net
207   Port 22021
208   CheckHostIP no
209   ForwardAgent yes
210   ForwardX11 yes
211   HostKeyAlias mother.gauting.madduck.net
212
213 Host brick.gauting.madduck.net | brick
214   Hostname brick.gauting.madduck.net
215   ForwardAgent yes
216   ForwardX11 yes
217 Host bricke
218   Hostname embryo.gauting.madduck.net
219   Port 22222
220   CheckHostIP no
221   ForwardAgent yes
222   ForwardX11 yes
223   HostKeyAlias brick.gauting.madduck.net
224
225 ### ROAD WARRIORS
226
227 Host lapse.rw.madduck.net | lapse.gern.madduck.net | lapse
228   CheckHostIP no
229   ForwardAgent yes
230   ForwardX11 yes
231
232 Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
233   CheckHostIP no
234   ForwardAgent yes
235   ForwardX11 yes
236
237 ### DEBIAN
238
239 Host scm.alioth.debian.org
240   HostKeyAlias wagner.debian.org
241   User madduck
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