[bug #38366] Config option: use LABEL instead of UUID

[JPT]

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/