C'est presque exactement la même chose que ce que je sélectionne pour "GRUB install devices" après une mise à jour? - ou peut-être que ce n'est pas le cas, ce qui pose la question, car j'utilise Ubuntu sur une machine Virtualbox via Vagrant.
Je ne pouvais pas les paquets de mise à jour, donc je courais sudo apt-get update
alors sudo apt-get dist-upgrade
. Il est apparu avec le message suivant:
The GRUB boot loader was previously installed to a disk that is no longer present, or whose unique identifier has changed for some reason. It is │
│ important to make sure that the installed GRUB core image stays in sync with GRUB modules and grub.cfg. Please check again to make sure that GRUB is │
│ written to the appropriate boot devices. │
│ │
│ If you're unsure which drive is designated as boot drive by your BIOS, it is often a good idea to install GRUB to all of them. │
│ │
│ Note: it is possible to install GRUB to partition boot records as well, and some appropriate partitions are offered here. However, this forces GRUB to │
│ use the blocklist mechanism, which makes it less reliable, and therefore is not recommended. │
│ │
│ GRUB install devices: │
│ │
│ [ ] /dev/sda (85899 MB; VBOX_HARDDISK) │
│ [ ] - /dev/sda1 (254 MB; /boot) │
│ [ ] /dev/dm-0 (84833 MB; precise64-root)
Je suppose que la première option est la bonne, tout comme le dit la réponse à l'autre question, mais je n'aime pas deviner! Je serais vraiment reconnaissant pour toute aide ou compréhension.