Re: [Bug 557606] Re: CANNOT CHANGE START MENU

2010-04-08 Thread winux
OK I'll try again on the last version end this month Thx GĂ©rard VAQUANT 2010/4/8 Colin Watson > Yes, I'm pretty sure it's due to the space. Temporary workaround is to > make this change to /etc/grub.d/10_linux: > > - CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr '[A-Z]' '[a-z]') > ${CLASS

[Bug 557606] Re: CANNOT CHANGE START MENU

2010-04-08 Thread Colin Watson
Yes, I'm pretty sure it's due to the space. Temporary workaround is to make this change to /etc/grub.d/10_linux: - CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr '[A-Z]' '[a-z]') ${CLASS}" + CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr '[A-Z]' '[a-z]' | cut -d' ' -f1) ${CLASS}" (I've co

[Bug 557606] Re: CANNOT CHANGE START MENU

2010-04-07 Thread winux
I've also tried adding -s, otherwise, as you said, there's a lot of extra comments on the line. To make sure I understand: do you confirm this is a bug linked to a space problem in GRUB DISTRIBUTOR? In that case I stop trials waiting for bug correction Otherwise if you know what to do so far, pl

[Bug 557606] Re: CANNOT CHANGE START MENU

2010-04-07 Thread Colin Watson
You really do want to keep the -s in there, otherwise the results will not be what you wanted. There seems to be a problem with spaces in GRUB_DISTRIBUTOR; the wrong thing ends up passed to --class as a result. -- CANNOT CHANGE START MENU https://bugs.launchpad.net/bugs/557606 You received this