Your message dated Tue, 20 May 2008 08:51:25 +0200
with message-id <[EMAIL PROTECTED]>
and subject line Fwd: grub-splashimages should not provide /boot/grub
has caused the Debian Bug report #474550,
regarding grub-splashimages should not provide /boot/grub
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [EMAIL PROTECTED]
immediately.)
--
474550: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=474550
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: grub-splashimages
Version: 1.2.2
Severity: minor
I would guess this is not supposed to happen:
# dpkg -P grub-splashimages
(Reading database ... 132598 files and directories currently installed.)
Removing grub-splashimages ...
dpkg - warning: while removing grub-splashimages, directory `/boot/grub' not
empty so not removed.
--- End Message ---
--- Begin Message ---
I'm closing it. It seems that this behavior is OK.
--
Krzysztof Burghardt <[EMAIL PROTECTED]>
http://www.burghardt.pl/
---------- Forwarded message ----------
From: Harald Dunkel <[EMAIL PROTECTED]>
Date: 2008/5/20
Subject: Re: grub-splashimages should not provide /boot/grub
Krzysztof Burghardt wrote:
>
> Harald Dunkel wrote:
>>
>> I would guess this is not supposed to happen:
>
> [...]
>>
>> dpkg - warning: while removing grub-splashimages, directory `/boot/grub' not
>> empty so not removed.
>
> I do not understand what happened? /boot/grub/splashimages was removed,
> dpkg check that /boot/grub still contains some other files and did not
> removed /boot/grub.
Sorry, I thought that grub-splashimages depends upon grub.
Please close this bug report.
Regards
Harri
--- End Message ---
