The problem is not the size, it Neon's making it a necessity rather than a suggestion. I'm stuck with an EFI partition of 200MB, which was once considered to be more than enough --- and I suspect it still is. I have increased the partition to 500MB but the file system remains resolutely at 200MB and refuses to get bigger. Every method I have tried claims a magic number error and says it can't be done.
Duckduckgo, when asked "how to grow linux file system size in larger partition" suggests first: "Delete the existing partition (this does not delete the data)", which frightens me completely. It then says to "Create a new partition with the same starting sector but a larger size", which does sound reasonable. But what if it fails?
I could copy all the data in the file system and try that method. The big question is: If the EFI file system is damaged or destroyed, can I reboot my system."
Duckduckgo, when asked "how to grow linux file system size in larger partition" suggests first: "Delete the existing partition (this does not delete the data)", which frightens me completely. It then says to "Create a new partition with the same starting sector but a larger size", which does sound reasonable. But what if it fails?
I could copy all the data in the file system and try that method. The big question is: If the EFI file system is damaged or destroyed, can I reboot my system."







Comment