From: Jeff King <peff@peff.net>
Date: Tue, 16 Apr 2013 00:58:37 GMT
Subject: Re: Ensimag students projects, version 2013
Message-ID: <20130416005836.GC14995@sigill.intra.peff.net>
In-Reply-To: <vpqzjwzkb4e.fsf@grenoble-inp.fr>

On Mon, Apr 15, 2013 at 06:32:49PM +0200, Matthieu Moy wrote:

> > - Create an advice.ui (like color.ui) to turn off all advice.  I don't
> > need advice.
> 
> I tend to agree with you, but the idea has explicitly been rejected in
> the past. The problem with an option like this is that it would also
> disable the advices that may be added in the future. By letting people
> disable the advices one by one, people see new advices as they arrive.
> You may think of it like "do not show this message again" tickboxes in
> some graphical user interfaces.

FWIW, I do not think it was so much rejected as that I had initially
planned to implement it, then decided against it. Mostly because I
wanted to actually get annoyed with each piece of advice before
disabling it. Because sometimes the right answer is actually "make the
advice better".

But I do not mind somebody adding it if it is a burning desire.

-Peff