grub-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Allow user to choose between path or fs-label instead of UUI

From: Pete Appleton
Subject: Re: [PATCH] Allow user to choose between path or fs-label instead of UUID
Date: Tue, 18 Sep 2012 22:13:40 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120910 Thunderbird/15.0.1 

On 18/09/12 19:42, Vladimir 'φ-coder/phcoder' Serbinenko wrote:

On 18.09.2012 20:26, Pete Appleton wrote:


     GRUB_DEVICE_IDENTIFICATION renamed to LINUX_DEVICE_IDENTIFICATION
     GRUB_DEVICE_LABEL renamed to LINUX_DEVICE_LABEL as also Linux specific
     GRUB_DEVICE_BOOT_LABEL removed completely as unused (was added
purely for symmetry)
     if statements replaced by case

Linux-specific vars aren't exempted from the need to be in GRUB_* namespace.


Renamed LINUX_DEVICE_IDENTIFICATION to GRUB_DEVICE_IDENTIFICATION_LINUX
Renamed LINUX_DEVICE_LABEL to GRUB_DEVICE_LABEL_LINUX

Regards,

Pete Appleton

Attachment: linux_fslabel_support.patch
Description: Text Data

reply via email to
[Prev in Thread] Current Thread [Next in Thread]