| 1 |
On Wed, 25 Nov 2020 13:30:46 -0600, Dale wrote: |
| 2 |
|
| 3 |
> >> If I can get rid of the plain grub, that would free up some space. |
| 4 |
> >> The grub2 directory isn't as big but still wouldn't hurt. |
| 5 |
> > GRUB2 uses /boot/grub here, I suspect /boot/grub2 might be the surplus |
| 6 |
> > one, but check the timestamps. |
| 7 |
> > |
| 8 |
> > |
| 9 |
> |
| 10 |
> |
| 11 |
> Well, grub2 shows the latest change. Plain grub shows older changes. |
| 12 |
> Most things in plain grub shows a date of April 2019. Things in grub2 |
| 13 |
> are 2013 except for grub.cfg which shows June 2020. That is likely |
| 14 |
> about the time I rebuilt my last kernel, or somewhere close to that |
| 15 |
> anyway. Sort of confusing. |
| 16 |
> |
| 17 |
> Just wondering if leaving that alone may be best. ;-) |
| 18 |
|
| 19 |
Rename one of the directories and see if you can still boot :) |
| 20 |
|
| 21 |
|
| 22 |
-- |
| 23 |
Neil Bothwick |
| 24 |
|
| 25 |
I'm moving to theory. Everything works there! |
Archives