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