|
| 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:1.9.1.6) 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:
<http://savannah.gnu.org/bugs/?28581>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |