[Top][All Lists]

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

[bug #28581] Add machine name to generated menuentry names

From: Vladimir Serbinenko
Subject: [bug #28581] Add machine name to generated menuentry names
Date: Sat, 17 Apr 2010 17:41:57 +0000
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv: Gecko/20091216 Iceweasel/3.5.8 (like Firefox/3.5.8)

Update of bug #28581 (project grub):

             Open/Closed:                    Open => Closed                 


Follow-up Comment #5:

/etc/grub.d/* are configuration files too. They can be changed by
user as he sees fit. /etc/default/grub lists only the most common
and useful options. Everything else would only encumber it. If
there is enough demand for your feature this point of view may
change though


Reply to this item at:


  Message sent via/by Savannah

reply via email to

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