On Mon, 10 Sep 2018, Philipp Kern wrote:
> What's mirroradm's take on this?
Well, (with my hat on, ) my take on this is that
a) all (3rd party) http mirrors are potentially bad and can go out of
date and become unmaintained and users may never notice.
b) deb.debian.org aims to be a reasonab
On Wed, Sep 12, 2018 at 21:57:41 +0200, Philipp Kern wrote:
> On 10.09.2018 09:20, Philipp Kern wrote:
> > [+mirrors@]
> >
> > On 07.09.2018 14:42, Julien Cristau wrote:
> >> Control: retitle -1 choose-mirror: hide mirror selection by default
> >>
> >> On 09/04/2018 11:07 AM, Julien Cristau wrote
On 10.09.2018 09:20, Philipp Kern wrote:
> [+mirrors@]
>
> On 07.09.2018 14:42, Julien Cristau wrote:
>> Control: retitle -1 choose-mirror: hide mirror selection by default
>>
>> On 09/04/2018 11:07 AM, Julien Cristau wrote:
>>> If switching the mirror question from high to medium priority proves
[+mirrors@]
On 07.09.2018 14:42, Julien Cristau wrote:
> Control: retitle -1 choose-mirror: hide mirror selection by default
>
> On 09/04/2018 11:07 AM, Julien Cristau wrote:
>> If switching the mirror question from high to medium priority proves
>> controversial I guess I could separate that to
Processing control commands:
> retitle -1 choose-mirror: hide mirror selection by default
Bug #907704 [choose-mirror] choose-mirror: default to deb.debian.org
Changed Bug title to 'choose-mirror: hide mirror selection by default' from
'choose-mirror: default to deb.debian.org'.
--
907704: https
Control: retitle -1 choose-mirror: hide mirror selection by default
On 09/04/2018 11:07 AM, Julien Cristau wrote:
> If switching the mirror question from high to medium priority proves
> controversial I guess I could separate that to its own bug too, to at
> least get the default changed.
>
Since
On Wed, Sep 05, 2018 at 02:58:17PM +0200, Philipp Kern wrote:
> On 2018-09-05 12:35, Wouter Verhelst wrote:
[...]
> > I disagree with that, but I do also agree that it would be preferable if
> > local proxies or mirrors were used preferably.
> >
> > However, this shouldn't be done by way of manual
On Wed, 2018-09-05 at 14:58 +0200, Philipp Kern wrote:
> On 2018-09-05 12:35, Wouter Verhelst wrote:
[...]
> > I disagree with that, but I do also agree that it would be preferable
> > if
> > local proxies or mirrors were used preferably.
> >
> > However, this shouldn't be done by way of manual c
On 2018-09-05 12:35, Wouter Verhelst wrote:
On Mon, Sep 03, 2018 at 08:13:55PM +0200, Karsten Merker wrote:
On Mon, Sep 03, 2018 at 04:41:10PM +0200, Julien Cristau wrote:
> Control: tag -1 + patch
>
> On 08/31/2018 06:27 PM, Julien Cristau wrote:
> > Package: choose-mirror
> > Severity: wishlis
On Mon, Sep 03, 2018 at 08:13:55PM +0200, Karsten Merker wrote:
> On Mon, Sep 03, 2018 at 04:41:10PM +0200, Julien Cristau wrote:
> > Control: tag -1 + patch
> >
> > On 08/31/2018 06:27 PM, Julien Cristau wrote:
> > > Package: choose-mirror
> > > Severity: wishlist
> > > X-Debbugs-Cc: tfh...@debia
On 09/03/2018 10:44 PM, Nicholas D Steeves wrote:
> Like Karsten, my experience with deb.debian.org has been inconsistent.
> With a 50 Mb/s ADSL line in Montréal, most of the top candidates
> mirrors from netselect will consistently deliver ~6200 kB/s, but
> deb.debian.org often connects to an AWS
Hi Philipp
On Tue, Sep 04, 2018 at 09:02:42AM +0200, Philipp Kern wrote:
> I pulled out my RT account to check for mirror-related problems (they
> seem to be in a different queue I can't see) and found [0], so it looks
> like there's now a third unannounced provider that is not in the
> rotation (
On 03.09.2018 21:54, Ben Hutchings wrote:
> That's why deb.debian.org is a plain CDN which doesn't rely on the
> existing mirror network. It also supports TLS (which I think should
> also be enabled by default in the installer).
Note that TLS is only supported by one of the two CDN providers behi
On Mon, Sep 03, 2018 at 08:54:56PM +0100, Ben Hutchings wrote:
> On Mon, 2018-09-03 at 20:13 +0200, Karsten Merker wrote:
> > On Mon, Sep 03, 2018 at 04:41:10PM +0200, Julien Cristau wrote:
> > > Control: tag -1 + patch
> > >
> > > On 08/31/2018 06:27 PM, Julien Cristau wrote:
> > > > Package: cho
On Mon, 2018-09-03 at 20:13 +0200, Karsten Merker wrote:
> On Mon, Sep 03, 2018 at 04:41:10PM +0200, Julien Cristau wrote:
> > Control: tag -1 + patch
> >
> > On 08/31/2018 06:27 PM, Julien Cristau wrote:
> > > Package: choose-mirror
> > > Severity: wishlist
> > > X-Debbugs-Cc: tfh...@debian.org
>
Processing control commands:
> tag -1 + patch
Bug #907704 [choose-mirror] choose-mirror: default to deb.debian.org
Added tag(s) patch.
--
907704: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907704
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
Control: tag -1 + patch
On 08/31/2018 06:27 PM, Julien Cristau wrote:
> Package: choose-mirror
> Severity: wishlist
> X-Debbugs-Cc: tfh...@debian.org
>
> I think it's time for choose-mirror to stop asking by default. AFAIK
> deb.debian.org works well enough now that we don't need users to
> manu
Package: choose-mirror
Severity: wishlist
X-Debbugs-Cc: tfh...@debian.org
I think it's time for choose-mirror to stop asking by default. AFAIK
deb.debian.org works well enough now that we don't need users to
manually select a mirror close to them.
PoC patch, completely untested:
diff --git a/ch
18 matches
Mail list logo