At Sun, 28 Oct 2001 13:59:37 +0100, Thierry Laronde wrote: > - it's perhaps a problem with the way the GRUB shell handles the > devices, but it's clearly a cache problem, and it might be a kernel > one.
This problem was discussed before. See the archive, if you are interested in that. Briefly speaking, Linux should be blamed. We have no (good) way to fix the problem with Linux 2.4.x. However, I hope someone could find out a workaround, which is assumed to work well, not just by chance. As you wrote, "mount -o remount" might be enough, but it is *necessary* to examine if that really avoids the problem by reading the Linux source code. I would disagree to add a workaround, until it is confirmed. I myself have no time to check it, unfortunately (plus, I myself am not using 2.4.x for now). Okuji _______________________________________________ Bug-grub mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-grub
