After having reported this bug, I ran a "sudo apt-get update" and "sudo apt-get upgrade". The upgrade returned:
Paramétrage de grub-pc (2.02~beta2-9ubuntu1.1) ... mkdir: impossible de créer le répertoire «/boot/grub»: Aucun espace disponible sur le périphérique dpkg: error processing package grub-pc (--configure): le sous-processus script post-installation installé a retourné une erreur de sortie d'état 1 [...] Des erreurs ont été rencontrées pendant l'exécution : grub-pc E: Sub-process /usr/bin/dpkg returned an error code (1) "mkdir: impossible de créer le répertoire «/boot/grub»: Aucun espace disponible sur le périphérique" means that there is no space available on the media, allowing to create directory "grub" in directory "/boot/". I'm very surprised with that, as "/boot/grub/" normally already exists, and as space on the media where "/boot/" is, should normally not be an issue at al... Anyway actually this bug looks deeply like coming from my hardware rather than from the update process. I'll try to fix that and let another comment. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1455383 Title: grub-pc 2.02~beta2-9ubuntu1.1 failed to install/upgrade To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1455383/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs