On Wed, 25 Nov 2020 13:30:46 -0600, Dale wrote: > >> If I can get rid of the plain grub, that would free up some space. > >> The grub2 directory isn't as big but still wouldn't hurt. > > GRUB2 uses /boot/grub here, I suspect /boot/grub2 might be the surplus > > one, but check the timestamps. > > > > > > > Well, grub2 shows the latest change. Plain grub shows older changes. > Most things in plain grub shows a date of April 2019. Things in grub2 > are 2013 except for grub.cfg which shows June 2020. That is likely > about the time I rebuilt my last kernel, or somewhere close to that > anyway. Sort of confusing. > > Just wondering if leaving that alone may be best. ;-)
Rename one of the directories and see if you can still boot :) -- Neil Bothwick I'm moving to theory. Everything works there!
pgpE4pNvnnk9T.pgp
Description: OpenPGP digital signature