Both the grub-set-default utility and the default file it creates (/boot/grub/default) contains a small typo, leading the user to believe that 'default\' is a keyword.
Steps to Reproduce:
Run grub-set-default --help as root.
Inspect the default (/boot/grub/default) file created by the grub-set-default utility
This is a small typo, I just changed \`default\' to \`default\`. Should I change the patch to use simple apostrophes instead ('default')?
It seems the matter is actually a bit too complicated... From wikipedia:
Many earlier (pre 1985) computer displays and printers rendered the ASCII apostrophe as a typographic apostrophe, and rendered the ASCII grave accent ( ` ) U+0060 as a matching left single quotation mark. This allowed a more typographic appearance of text: ``I can't'' would appear as ‘‘I can’t’’ on these systems. This can still be seen in many documents prepared at that time, and is still used in the TeX typesetting system to create typographic quotes.
Maybe the author thougth that autotools would generate pretty/simetric quotation marks.
Forgot to mention, I'm reporting this here because grub legacy support has been dropped officially. Anyways, since I use Gentoo and the fix is trivial, why not make this perfect?
Created attachment 294815 [details, diff]
\`default\' TYPO fix.
grub:0 is gone