Changing the grub menu default

[Colin Law]

On 8 January 2015 at 16:47, Nils Kassube <kassube at gmx.net> wrote:
> Colin Law wrote:
>> On 7 January 2015 at 21:36, NoOp <glgxg at sbcglobal.net> wrote:
>> > On 01/06/2015 08:04 AM, Nils Kassube wrote:
>> >> No, that editor doesn't save the changes. Please have a look at
>> >> <https://help.ubuntu.com/community/Grub2/Setup#Configuring_GRUB_2>
>> >> for details of how to change the defaults.
>> >
>> > And you might find this useful (I do) as a quick gui solution:
>> >
>> > <https://launchpad.net/grub-customizer>
>> >   <https://launchpad.net/~danielrichter2007/+archive/ubuntu/grub-cus
>> >   tomizer>>
>> > <http://ubuntuhandbook.org/index.php/2014/04/install-grub-customizer
>> > -ubuntu-1404/>
>> Thanks for bringing that to our attention Nils, I was not aware of it
>> previously and it looks as if it could be useful.
>
> Credit goes to NoOp, not me. :) And yes, it looks interesting.

Oops yes, apologies to you both for not reading the post carefully
enough, and thanks to NoOp for bringing it to our attention.

Colin