![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_usSv7hZCw_NQfNe-G4vxy1SLJWlAFbKb28EK2yLOUStGqwGnU2Zsgljm7d1yWT5PWRRZQGYx5K0Wd4HsXtVQVs_BZiW94LHE0Jsq40GI56TSIM1H5j=s0-d)
I was recently asked how to edit the GRUB menu. Found this excellent "
how to" which shows you how to edit the GRUB config file or make modifications via the GUI.
Alternatively you could install a "better" boot loader (eg: BURG). Found a great article about it
here.
No comments:
Post a Comment