Grub bug report / feature request

Greetings, grub.cfg supports 3 colour options: set menu_color_normal set menu_color_highlight set color_normal However, /etc/default/grub only supports 2: GRUB_COLOR_NORMAL GRUB_COLOR_HIGHLIGHT I'd like to propose that grub supports the 3rd "set" option, and further, that it be named

[no subject]

Hi, Someone installed RedHat on my hard drive and GRUB ver. 0.5.95 over my existing Win2000 O/S. I was able to remove the Redhat OS, but GRUB comes up during boot-up and defaults to Redhat boot up, since it is the first on the menu. How can I remove GRUB and have Windows 2000 as my default Boot up

Need help with GRUB

Hi, Someone installed RedHat on my hard drive and GRUB ver. 0.5.95 as multibooter over my existing Win2000 O/S. I was able to remove the Redhat OS, but GRUB comes up during boot-up and defaults to Redhat boot up, since it is the first item on the menu. How can I remove GRUB and have Windows 2000

Re: Text version grub.txt of Grub docu broken?

these steps: 1. Set GRUB's root device with root (*note root::.). Thanks for pointing this out. I recreated the grub.txt file from the .texi source as: makeinfo --fill-column=70 --no-split --paragraph-indent=0 --verbose --no-headers --output=grub.txt grub.texi -- Ron Peterson -o

Missing feature?

, which loading option was selected in the grub menu. Is this possible? How can it be done?\ --- Ron Addie Senior Lecturer, University of Southern Queensland. --- ___ Bug-grub mailing list