| 1 |
On Wed, 20 Dec 2017 08:34:14 -0500 |
| 2 |
Rich Freeman <rich0@g.o> wrote: |
| 3 |
|
| 4 |
> On Wed, Dec 20, 2017 at 4:42 AM, Alexis Ballier <aballier@g.o> |
| 5 |
> wrote: |
| 6 |
> > On Tue, 19 Dec 2017 16:00:16 -0500 |
| 7 |
> > "Aaron W. Swenson" <titanofold@g.o> wrote: |
| 8 |
> > |
| 9 |
> >> However, what alternative do we have to throwing the patches up in |
| 10 |
> >> a devspace? |
| 11 |
> > |
| 12 |
> > mirror://gentoo, aka /space/distfiles-local/ |
| 13 |
> > |
| 14 |
> |
| 15 |
> That isn't a great option. This has been discussed previously: |
| 16 |
> |
| 17 |
> https://lists.gt.net/gentoo/dev/224673?do=post_view_threaded |
| 18 |
> |
| 19 |
> https://devmanual.gentoo.org/general-concepts/mirrors/index.html#suitable-download-hosts |
| 20 |
> |
| 21 |
> |
| 22 |
> I would point out that a devspace isn't the only alternative - |
| 23 |
> anything stable would be reasonable. |
| 24 |
|
| 25 |
So... 6 years later... still no solution ? Kid me not. |
| 26 |
|
| 27 |
I don't see what any other hosting style changes here: next time infra |
| 28 |
checks pecker homedirs, everyone will spend time manually removing old |
| 29 |
distfiles. For archival of sources, there has always been |
| 30 |
gentoo/src/patchsets. For extreme cases, there's distfiles-whitelist. |
Archives