I've installed Fedora on my machine with /
partition, swap
partition and ESP
partition for EFI booting.
Now, I was installing Elementary OS instead of Fedora.
- I have formatted the
/
partition (/dev/sda3) - Formatted the swap partition (/dev/sda4)
- But did not format the EFI boot partition (/dev/sda1)
Now when i boot, i get my old grub menu that's was installed by Fedora. I can only boot into Elementary OS by:
- Entering the boot menu.
- Selecting boot from EFI file
- Navigate through
/dev/sda1/
, to get theelementary
directory that containsgrubx64.efi
file. Which is/boot/efi/EFI/elementary/grubx64.efi
.
How can i fix that ? I thought of formatting the boot partition /dev/sda1/
with fat16
or something then re-installing grub on it.
My /dev/sda1
now contains this :
root@rafael:/home/rafael# ls /boot/efi/
EFI mach_kernel System
root@rafael:/home/rafael# ls /boot/efi/EFI/
BOOT/ elementary/ fedora/
root@rafael:/home/rafael# ls /boot/efi/EFI/fedora/
BOOT.CSV fonts gcdx64.efi grub.cfg grubx64.efi MokManager.efi shim.efi shim-fedora.efi
root@rafael:/home/rafael# ls /boot/efi/EFI/elementary/
grubx64.efi
Here's my efibootmgr
output :
BootCurrent: 003D
Timeout: 0 seconds
BootOrder: 2001,2002,2003
Boot0000* Notebook Hard Drive
Boot0010* Internal CD/DVD ROM Drive
Boot0011* Internal CD/DVD ROM Drive (UEFI)
Boot0012* Fedora
Boot0013* Fedora
Boot0014* Fedora
Boot0015* Fedora
Boot0016* Fedora
Boot0017* Fedora
Boot0018* Fedora
Boot0019* Fedora
Boot001A* Fedora
Boot001B* Fedora
Boot001C* Fedora
Boot001D* Fedora
Boot001E* Fedora
Boot001F* elementary
Boot2001* USB Drive (UEFI)
Boot2002* Internal CD/DVD ROM Drive (UEFI)
Any help would be appreciated.
efibootmgr
output so it could be seen whether elementary's entry is there (seems it's not but to be sure). You might also like refind as your boot manager. Just in case you'd like a quick peek at E17 on that system there's an image that just works (490M ISO link) as well as weekly snapshots. It is probably inferior regarding E polisefibootmgr
output.