1 |
On Fri, 27 Apr 2012 10:06:38 +0200 |
2 |
Corentin Chary <corentin.chary@×××××.com> wrote: |
3 |
|
4 |
> On Thu, Apr 26, 2012 at 8:41 PM, Michał Górny <mgorny@g.o> |
5 |
> wrote: |
6 |
> > On Thu, 26 Apr 2012 10:21:36 +0200 |
7 |
> > Corentin Chary <corentin.chary@×××××.com> wrote: |
8 |
> > |
9 |
> >> Second solution: |
10 |
> >> github http://cloud.github.com/downloads |
11 |
> >> github-bad-uris -http://github.com/downloads/ |
12 |
> > -https://github.com/downloads/ |
13 |
> >> |
14 |
> >> The good thing with the first one is that it would allow repoman to |
15 |
> >> outputs something like "you should use 'mirror://github'". |
16 |
> > |
17 |
> > Well, we could decide on something common and special like: |
18 |
> > |
19 |
> > github:bad-uris http://..... |
20 |
> > |
21 |
> > And then let repoman suggest using mirror with ':bad-uris' stripped. |
22 |
> |
23 |
> Works for me. What would be the next step to push this ? |
24 |
|
25 |
Next step would be to find a good name :P. I suggest going the Perl way |
26 |
and prepending '~' ;P. |
27 |
|
28 |
-- |
29 |
Best regards, |
30 |
Michał Górny |