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:

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