bug-grub
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

GRUB_DISABLE_LINUX_PARTUUID - misinformation in the manual


From: Adam Purkrt
Subject: GRUB_DISABLE_LINUX_PARTUUID - misinformation in the manual
Date: Sun, 17 Nov 2019 10:32:11 +0100

The GRUB_DISABLE_LINUX_PARTUUID variable defaults to true if unset -
see line 48 of /etc/grub,d/10_linux

The manual says the opposite - "Remember,
‘GRUB_DISABLE_LINUX_PARTUUID’ and ‘GRUB_DISABLE_LINUX_UUID’ are also
considered to be set to ‘false’ when they are unset. "

https://www.gnu.org/software/grub/manual/grub/html_node/Root-Identifcation-Heuristics.html

There is a typo in the manual: "Identifcation" -> "Identification"
(both in the heading and in url)

And there is also a typo on line 46 of /etc/grub.d/10_linux -
"maintian" -> "maintain".

Cheers,
Adam



reply via email to

[Prev in Thread] Current Thread [Next in Thread]