Re: What tool to edit grub settings?

[Michael Schwendt <rh0210ms arcor de>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Tue, 19 Nov 2002 10:56:24 -0500, Gerry Kirk 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.

When you remove a kernel package, it removes the corresponding boot
loader menu entry as well.

  # rpm --query --all 'kernel*'
  kernel-2.4.18-10
  kernel-2.4.18-18.7.x
  kernel-source-2.4.18-18.7.x
  kernel-doc-2.4.18-18.7.x
  # rpm --erase kernel-2.4.18-10
  #
  
- -- 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)

iD8DBQE92oKB0iMVcrivHFQRAo0RAJ0ZiSjRKrVIpuT50JpdvycOy1sqBwCfQFsS
hOWcuCtRUDEyuG0JNTEZ4sE=
=RRk4
-----END PGP SIGNATURE-----