Bon, en fait c'est un #dpkg-reconfigure grub-efi-amd64 qui me sauve. Mon problème est donc résolu, mais je ne comprends pas pourquoi ça n'a pas fonctionné lors de la mise à jour.
-- Christophe (sous Debian GNU/Linux - https://www.debian.org)
Bon, en fait c'est un #dpkg-reconfigure grub-efi-amd64 qui me sauve. Mon problème est donc résolu, mais je ne comprends pas pourquoi ça n'a pas fonctionné lors de la mise à jour.
-- Christophe (sous Debian GNU/Linux - https://www.debian.org)