Update of bug #27282 (project grub):

                  Status:                    None => Wont Fix               
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #1:

/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/?27282>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/


_______________________________________________
Bug-grub mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-grub

Reply via email to