why is gurb-menu hidden as default?

[Matthew Garrett]

On Mon, Feb 06, 2012 at 05:25:08PM +0100, Reindl Harald wrote:

> and why are there so many noobs with questions like "after a kernel
> update my machine does no longer boot" if this decision would
> be smart?

The solution to "My kernel update doesn't boot" should be "Automatically 
detect that that happened, give the user that information and fall back 
to the old kernel", not "Always show the user a menu that they almost 
always don't care about". Solve the actual problem.

-- 
Matthew Garrett | mjg59 at srcf.ucam.org