said Mike Bird:
| 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.
And the file doesn't exist *at all* on the drive I have booted now.
Would there be a need to rerun update-grub after copying it over, do you
suppose?
--
dep
Pictures:
http://www.ipernity.com/doc/depscribe/album
Column:
https://ofb.biz/author/dep/