Bug#601093: grub-common: wrong pathnames in linux menu entry in grub.cfg if kernel on separate filesystem

2010-10-25 Thread Martin Dickopp
grub-common 1.98+20100804-7 works fine for me, so as far as I'm concerned, this bug can be closed. Thanks, Martin -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#601093: grub-common: wrong pathnames in linux menu entry in grub.cfg if kernel on separate filesystem

2010-10-25 Thread Florian Haas
On 2010-10-25 13:09, Vladimir 'φ-coder/phcoder' Serbinenko wrote: > Rather than discuss the severity of this bug, it would be easier if you > just noticed that it's > a) duplicate of 601084 > b) fixed in -7 upload It would be tremendously helpful if the relevant bugs were merged. Florian signa

Bug#601093: grub-common: wrong pathnames in linux menu entry in grub.cfg if kernel on separate filesystem

2010-10-25 Thread Vladimir 'φ-coder/phcoder' Serbinenko
On 10/25/2010 12:22 PM, Dmitry Borodaenko wrote: > severity 601093 grave > thanks > > I agree with Erich: this bug should have Grave severity. > > Separate partition for /boot is a very common setup, not to mention > that it is required if you want to boot from encrypted root partition. > I believe

Bug#601093: grub-common: wrong pathnames in linux menu entry in grub.cfg if kernel on separate filesystem

2010-10-25 Thread Dmitry Borodaenko
I jumped the gun on the previous patch, more careful examination demonstrated that it has to be a little bit more complicated than that. Another patch attached. -- Dmitry Borodaenko --- 10_linux.bak 2010-10-25 13:30:54.792624060 +0300 +++ 10_linux 2010-10-25 13:57:14.151034678 +0300 @@ -79,12 +79,

Bug#601093: grub-common: wrong pathnames in linux menu entry in grub.cfg if kernel on separate filesystem

2010-10-25 Thread Dmitry Borodaenko
tags 601093 patch thanks The attached patch fixed this bug for me. -- Dmitry Borodaenko --- 10_linux.bak 2010-10-25 13:30:54.792624060 +0300 +++ 10_linux 2010-10-25 13:40:26.0 +0300 @@ -102,7 +102,7 @@ echo "Found linux image: $linux" >&2 basename=`basename $linux` dirname=`dirna