On Thu, Nov 8, 2012 at 7:47 AM, Darac Marjal <mailinglist@darac.org.uk> wrote: > On Thu, Nov 08, 2012 at 01:40:37PM +0100, tv.debian@googlemail.com wrote: >> >> menuentry 'Debian GNU/Linux, avec Linux 3.2.0-3-amd64 [...] > > GRUB_DEFAULT takes a menu, not a title. You can use a title too.