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:

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