this post was submitted on 06 Nov 2023
1 points (66.7% liked)
Linux Mint
1719 readers
1 users here now
Linux Mint is a free Linux-based operating system designed for use on desktop and laptop computers.
Want to see the latest news from the blog? Set the Firefox homepage to:
where is a current or past release. Here's an example using release 21.1 'Vera':
https://linuxmint.com/start/vera/
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
How does something like that happen?
The configs are in each distro's boot partition or root directory.
In ESP, the EFI files are going to be in their own directories. An exception to this may be dualbooting distros built on same base. For example Linux Mint and Ubuntu. They both place the EFI file in /ubuntu/grubx64.efi inside the ESP. This means, they just overwrite them. This may be viewed as a positive though, as no matter which distro updated GRUB as last, it will always be up-to-date.
Anyway, I dualboot Manjaro with Linux Mint. I just set Manjaro's GRUB as default in UEFI and had no problems. The only annoyance is that as you mentioned, after updating Linux Mint's kernel I need to boot into Manjaro to update GRUB.
DISCLAIMER: I may be wrong, I am often wrong.