Re: [gentoo-user] Should I report a bad distfiles server?

2020-12-21 Thread Dale
Daniel Frey wrote: > On 12/21/20 6:09 AM, Dale wrote: >> Howdy, >> >> I've been running into this a while now.  It seems one server is no >> longer hosting, is broken or something and it results in wasted time as >> it attempts to use it and retries many times.  The server is >>

Re: [gentoo-user] Should I report a bad distfiles server?

2020-12-21 Thread Daniel Frey
On 12/21/20 6:09 AM, Dale wrote: Howdy, I've been running into this a while now.  It seems one server is no longer hosting, is broken or something and it results in wasted time as it attempts to use it and retries many times.  The server is gentoo.mirrors.easynews.com.  I just removed it from

[gentoo-user] Should I report a bad distfiles server?

2020-12-21 Thread Dale
Howdy, I've been running into this a while now.  It seems one server is no longer hosting, is broken or something and it results in wasted time as it attempts to use it and retries many times.  The server is gentoo.mirrors.easynews.com.  I just removed it from make.conf so that I don't run into