Follow-up Comment #3, bug #38366 (project grub): Well, I just modified my localy installed files. After that I thought it would be a good idea to share the changes. If anybody wants to integrate it, do so. If not, I don't care. Since I am no expert in linux scripting, my patches would need a review even if I created a patch the way you suggested.
I my opinion it would be worth the work, since it makes life a lot easier without much effort. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?38366> _______________________________________________ Nachricht gesendet von/durch Savannah http://savannah.gnu.org/ _______________________________________________ Bug-grub mailing list Bug-grub@gnu.org https://lists.gnu.org/mailman/listinfo/bug-grub