URL:
<http://savannah.gnu.org/bugs/?38366>
Summary: Config option: use LABEL instead of UUID
Project: GNU GRUB
Submitted by: jpt
Submitted on: Do 21 Feb 2013 12:08:38 GMT
Category: Configuration
Severity: Major
Priority: 5 - Normal
Item Group: Feature Request
Status: None
Privacy: Public
Assigned to: None
Originator Name: JPT
Originator Email:
Open/Closed: Open
Discussion Lock: Any
Release:
Release: 1.98
Reproducibility: None
Planned Release: None
_______________________________________________________
Details:
I added a config option which lets the user choose between the usage of UUID,
LABEL and partition number.
Seems to work fine, but I don't know how to make option GRUB_USE_PARTIDTYPE
visible from /etc/default/gru:
# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
GRUB_DISABLE_LINUX_UUID="true"
# JPT: use uuid, label or partition
GRUB_USE_PARTIDTYPE="label"
Please see attached diffs, too.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Do 21 Feb 2013 12:08:38 GMT Name: 10_linux.diff Size: 1kB By: jpt
<http://savannah.gnu.org/bugs/download.php?file_id=27494>
-------------------------------------------------------
Date: Do 21 Feb 2013 12:08:38 GMT Name: grub-mkconfig_lib.diff Size: 979B
By: jpt
<http://savannah.gnu.org/bugs/download.php?file_id=27495>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?38366>
_______________________________________________
Nachricht gesendet von/durch Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-grub mailing list
Bug-grub@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-grub
