On Mo, 12.04.21 11:22, Colin Walters (walt...@verbum.org) wrote:

> But, trying to change the traditional RPM path seems quite tricky to
> do safely without having a window where the grub binaries are
> deleted from `/boot` e.g.

Wouldn't it suffice to just start marking the files as %ghost in an
RPM package update? I'd assume tht RPM would then leave the files
that are already in place in place, no?

> And we've conditioned people to the idea that `yum update` will also
> update grub for EFI systems.

Well, the RPM scriptlets of grub could should the equivalent of "bootctl
update" of course.



Lennart

--
Lennart Poettering, Berlin
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct: 
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
Do not reply to spam on the list, report it: 
https://pagure.io/fedora-infrastructure

Reply via email to