Re: finding out what kernel was booted with grub...

[Matthias Granberry]

You might want to just pass it manually.  You need to update the menu.lst
if you move a kernel anyway.


_______________________________________________
Bug-grub mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-grub