On Thu August 19 2021 19:58:49 dep wrote:
In that I did the same update on the other drive, running the same version of Ubuntu, without getting the question, could I then simply copy the 10_linux from there into /etc/grub/10_linux on this drive? Or would that break things?
I just did "md5sum /etc/grub.d/10_linux" on a dozen or so very different systems and they were all identical leading me to believe it is not customized per system and therefore copying it should work fine.
--Mike