Il giorno Mon, 19 Aug 2019 14:55:26 +0200 Sergio Vi <m3nhirs@gmail.com> ha scritto: > Dovresti aggiornare il grub dalla distro a cui appartiene con: > sudo update-grub fatto, ma nulla -- Filippo