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