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