On Tuesday 06 May 2008, you wrote:
> On Sat, May 03, 2008 at 01:32:50PM +0200, Frans Pop wrote:
> > After installing a new kernel I suddenly noticed that update-grub has
> > started to use double leading / before the kernels. Probably related to
> > the fact that I have a separate /boot partition.
severity 479169 minor
thanks
On Sat, May 03, 2008 at 01:32:50PM +0200, Frans Pop wrote:
> Package: grub
> Version: 0.97-38
> Severity: important
>
> After installing a new kernel I suddenly noticed that update-grub has
> started to use double leading / before the kernels. Probably related to
> th
This change was introduced in version 0.97-37, with the
make_system_path_relative_to_its_root() function. The attached patch restores
the old behavior.
--MR
diff -urN grub-0.97/debian/update-grub grub-0.97.rm_double_slash/debian/update-grub
--- grub-0.97/debian/update-grub 2008-05-04 10:48:22.0
Package: grub
Version: 0.97-38
Severity: important
After installing a new kernel I suddenly noticed that update-grub has
started to use double leading / before the kernels. Probably related to
the fact that I have a separate /boot partition.
I'm not sure when this exactly started. Although it doe
4 matches
Mail list logo
