On Mon, Mar 2, 2015 at 2:18 AM, German <gentger...@gmail.com> wrote: > > On Mon, 2 Mar 2015 02:10:33 -0600 > Canek Peláez Valdés <can...@gmail.com> wrote: > > > On Mon, Mar 2, 2015 at 2:03 AM, German <gentger...@gmail.com> wrote: > > > > > > On Mon, 2 Mar 2015 01:41:19 -0600 > > > Canek Peláez Valdés <can...@gmail.com> wrote: > > > > > > > On Sun, Mar 1, 2015 at 11:11 PM, German <gentger...@gmail.com> wrote: > > > > > > > > > > Out of curiosity I looked into my /boot partition and found two .efi > > > > files. One is /boot/efi/gummiboot/gummibootx64.efi and another is > > > > /boot/efi/boot/bootx64.efi. I remember I've created > > > > /boot/efi/boot/bootx64.efi during install by copying kernel image file > > to > > > > it and supposedly it was for efibootmng. I think gummiboot has created > > its > > > > own gummibootx64.efi. Is that safe to delete */boot/bootx64.efi? Thanks > > > > > > > > They are the same image; do an md5sum of both, you'll see that they have > > > > the same checksum. > > > > > > > > I believe Boot/BOOTX64.EFI is the default location where the "BIOS" (or > > > > whatever is called in UEFI systems) looks for an image to boot, > > > > and gummiboot/gummibootx64.efi is just a copy. I'm not sure, but I would > > > > not delete it: > > > > > > gummiboot creates both copies of the file. > > > > > > Well, no, I have created */boot/bootx64.efi manually and > > */gummiboot/gummibootx64.efi was created by gummiboot install. > > > > In my machines boot/bootx64.efi was created by gummiboot, and it's the same > > ile as gummiboot/gummibootx64.efi (same checksum). > > > > What does bootctl says? > > bootctl: command not found. How to use bootctl?
Sorry, my bad; bootctl comes with systemd. I thought it came with gummiboot. However, "gummiboot status" shows almost the same information. In my case: Boot Loader Binaries: ESP: /dev/disk/by-partuuid/b4abf4dc-abfc-45c5-b356-30db1e0b15b3 File: └─/EFI/gummiboot/gummibootx64.efi (gummiboot 45) File: └─/EFI/Boot/BOOTX64.EFI (gummiboot 45) Boot Loader Entries in EFI Variables: Title: UEFI OS ID: 0x0001 Status: active, boot-order Partition: /dev/disk/by-partuuid/b4abf4dc-abfc-45c5-b356-30db1e0b15b3 File: └─/EFI/BOOT/BOOTX64.EFI As you can see, Boot/BOOTX64.EFI is actually gummiboot. Regards. -- Canek Peláez Valdés Profesor de asignatura, Facultad de Ciencias Universidad Nacional Autónoma de México