Dear all,
I replaced the kernel, after this during the install I got an
`Error 2: Bad file or directory type' message from grub. I figured
out that this micro-patch [below] solves the problem. May be it fixes
the similar problems which were on the list a short time ago.
Gábor
--- bootloader.py.orig Wed Apr 10 23:30:28 2002
+++ bootloader.py Thu Aug 1 17:25:40 2002
@@ -592,6 +592,8 @@
stdout = "/dev/tty5", stderr = "/dev/tty5",
root = instRoot)
+ # sync once again (after grub-install)
+ isys.sync()
# really install the bootloader
p = os.pipe()
