Bug#919029: grub-pc: meaningless message "RUB boot loader was previously installed..."

[Vincent Lefevre]

On 2019-02-26 12:44:41 +0000, Colin Watson wrote:
> Of course, the grub-pc maintainer script doesn't know either.  All it
> has available to it is a /dev/disk/by-id/ path that no longer points to
> a disk.  The case I had in mind when writing that code, and I think
> almost certainly the overwhelmingly common case, is where the disk in
> question has been removed; the edge case that we have here is where the
> disk in question is still installed but its supposedly fixed ID has
> changed.

But note that even in the case where the disk has been removed, it
could also be a temporary removal (either physical, or virtual, with
VM's). So, it is also important to preserve the information in this
case.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)