I thought updating grub in a live session was more complicated than just running update-grub? Anyway, I didn't. An obvious oversight, in retrospect.
Thanks everyone for the quick reactions!

Reply via email to