On 10:56 19 Nov 2002, Gerry Kirk <[EMAIL PROTECTED]> wrote: | Thanks for all the suggestions to edit the /etc/grub.conf file with a | text editor. That worked fine for modifying the grub menu. What about | the old kernels, though? I have to delete those manually as well. | | I'm just surprised there is no GUI tool for this, since linuxconf had | one and most distros have one. Boot settings are a part of system | settings, IMO. Redhat has config tools for practically everything else.
A fair question. For myself, the boot kernel is so fundamental that I wouldn't trust a GUI tool to do the right thing. It may, but what if it screwed up? Bad juju. At least with a text editor you know EXACTLY what changes are being made to the file. Cheers, -- Cameron Simpson, DoD#743 [EMAIL PROTECTED] http://www.zip.com.au/~cs/ The graveyards are full of "indispensable" men. -- redhat-list mailing list unsubscribe mailto:[EMAIL PROTECTED]?subject=unsubscribe https://listman.redhat.com/mailman/listinfo/redhat-list