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
> the fact that I have a separate /boot partition.
Please can you test the attached patch?
--
Robert Millan
<GPLv2> I know my rights; I want my phone call!
<DRM> What use is a phone call… if you are unable to speak?
(as seen on /.)
Index: update-grub
===================================================================
--- update-grub (revision 743)
+++ update-grub (working copy)
@@ -94,7 +94,11 @@
dir=$parent
done
- echo $path | sed -e "s,^$dir,/,g" -e "s,//,/,g"
+ if [ "$dir" = "/" ] ; then
+ dir=""
+ fi
+
+ echo $path | sed -e "s,^$dir,,g"
}
# The grub installation directory
