Grub installation failed during the GuixSD's installation

Grub installation failed during the GuixSD's installation

[Iván Hernández Cazorla]

[-- Attachment #1: Type: text/plain, Size: 595 bytes --]

Hi,

I init the process to install GuixSD, everything seems to be correct 
during the process. But at the end it shows an error that says that was 
impossible to install the grub. I understand that GuixSD was installed 
correctly, but the grub not.

When I switch on the laptop I didn't see any grub to init GuixSD.

I don't remember the code nor the text of the error.

Thanks in advance!

Regards, Iván

-- 
Iván Hernández Cazorla.
Estudiante del Grado de Historia en la *Universidad de Las Palmas de 
Gran Canaria*.
Socio de *Wikimedia España*.
Sitio web personal <http://distriker.com>.

[-- Attachment #2: Type: text/html, Size: 1190 bytes --]

Re: Grub installation failed during the GuixSD's installation

[Ludovic Courtès]

¡Hola!

Iván Hernández Cazorla <ivanhercaz@gmail.com> skribis:

> I init the process to install GuixSD, everything seems to be correct
> during the process. But at the end it shows an error that says that
> was impossible to install the grub. I understand that GuixSD was
> installed correctly, but the grub not.

Did the error message have something to do with UEFI?  Are you
installing on a UEFI machine?

If you could provide us with the actual error message and the
GuixSD configuration file that you used, that would be great!

Thanks,
Ludo’.

Re: Grub installation failed during the GuixSD's installation

[Joshua Branson]

[-- Attachment #1: Type: text/plain, Size: 3562 bytes --]

Hey Ivan,

It sounds like you are having trouble installing grub, when you are booting via UEFI.  I may be able to point you in the general right direction.  I just solved my issue booting via UEFI.

When I installed guixSD, the install went fine, but grub could not properly install itself.  I got this error message when grub tried to install:

grub-install: error: /gnu/store/ipwgwqaarp304r82…….-grub-efi-2.02/lib/grub/i386-pc/modinfo.sh doesn’t exist.  Please specify —target or —directory.


My problem was that my computer is set up to boot in UEFI, but I booted the guixSD system via legacy boot.  Since I booted the legacy way, grub tried to install itself in the legacy way, which won’t work if you already have UEFI set up.  I would recommend that you try to boot guixSD in the UEFI way.  When you are presented with boot options on the usbstick grub screen, look for something that says UEFI.  You’ll then need to mount your EFI partition on /mnt/boot/efi  (this is explained in the guixSD install manual).  Your EFI partition should be near a 500MB fat32 (also called vfat).  It’s probably your /dev/sda1, but double check to be sure.


If you’re not sure if you’re booting in UEFI or or legacy boot, check your partition table.   As root run “parted”.  Then press “p”.  If you see a 500MB fat32 (also called vfat) partition, (maybe a bit bigger, maybe a bit smaller), then you are probably booting via UEFI.  If you don’t see that partition table, then you are probably booting via legacy boot.


If you are booting via UEFI then, disable legacy boot in your BIOS.  (You can access your BIOS by pressing F10 or F12, depending on your machine, when your machine boots).  This will ensure that your computer will only boot in UEFI mode.

The other issue that I had was, when I tried to boot via UEFI from the usbstick, guixSD would not boot properly.  It would stop working about halfway through, and I’d get and error complaining about my radeon driver.  I fixed this by pressing “e” in the grub menu.  This lets you edit the current boot parameters.  I then added “nomodeset” to the linux command line.  Then guixSD booted fine.

I added to the kernel arguments in my config file:

--8<---------------cut here---------------start------------->8---
(operating-system
 …
 (kernel-arguments
  ‘("nomodeset"     ; Needed for using flashrom
    ))
…)
--8<---------------cut here---------------end--------------->8---


Good luck,

Joshua

P.S.  If you’re still confused about legacy boot vs. UEFI boot, try reading sections from the Arch wiki page:  https://wiki.archlinux.org/index.php/GRUB

The terminology you want to learn and understand is:

partition
filesystem
MBR  (master boot record)
GPT  (I forget what that stands for)
Legacy boot
UEFI boot
EFI partion




On Jul 28, 2017, at 5:07 AM, Ludovic Courtès <ludo@gnu.org<mailto:ludo@gnu.org>> wrote:

¡Hola!

Iván Hernández Cazorla <ivanhercaz@gmail.com<mailto:ivanhercaz@gmail.com>> skribis:

I init the process to install GuixSD, everything seems to be correct
during the process. But at the end it shows an error that says that
was impossible to install the grub. I understand that GuixSD was
installed correctly, but the grub not.

Did the error message have something to do with UEFI?  Are you
installing on a UEFI machine?

If you could provide us with the actual error message and the
GuixSD configuration file that you used, that would be great!

Thanks,
Ludo’.



[-- Attachment #2: Type: text/html, Size: 5891 bytes --]

Re: Grub installation failed during the GuixSD's installation

[Oleg Pykhalov]

Hello Iván,

Iván Hernández Cazorla <ivanhercaz@gmail.com> writes:

> Hi,
>
> I init the process to install GuixSD, everything seems to be correct
> during the process. But at the end it shows an error that says that
> was impossible to install the grub. I understand that GuixSD was
> installed correctly, but the grub not.
>
> When I switch on the laptop I didn't see any grub to init GuixSD.
>
> I don't remember the code nor the text of the error.
>
> Thanks in advance!
>
> Regards, Iván

This is a good example how to setup GuixSD on UEFI system
https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/system/examples/lightweight-desktop.tmpl

Re: Grub installation failed during the GuixSD's installation

[Iván Hernández Cazorla]

[-- Attachment #1: Type: text/plain, Size: 2375 bytes --]

On 28/07/17 16:21, Oleg Pykhalov wrote:

> Hello Iván,
>
> Iván Hernández Cazorla <ivanhercaz@gmail.com> writes:
>
>> Hi,
>>
>> I init the process to install GuixSD, everything seems to be correct
>> during the process. But at the end it shows an error that says that
>> was impossible to install the grub. I understand that GuixSD was
>> installed correctly, but the grub not.
>>
>> When I switch on the laptop I didn't see any grub to init GuixSD.
>>
>> I don't remember the code nor the text of the error.
>>
>> Thanks in advance!
>>
>> Regards, Iván
> This is a good example how to setup GuixSD on UEFI system
> https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/system/examples/lightweight-desktop.tmpl
Before I thanked to Ludovic for its answer, but when I am in the 
smartphone and I reply to a list, sometimes I reply to the user and not 
the list, silly mistakes hehe. What I replyed to Ludovic was:

    Hi Ludovic!
    Thank you for your answer. If am not wrong, yes, I installed in a
    UEFI machine. I use the configuration file copied as in the
    instructions of GuixSD said.

    I have thought that the problem could be related with the partition
    for boot, maybe I did something wrong in that step.

    Now I don't get any error, simply I can't access. Thia afternoon I
    am going to try again and if it happens again, I will write the
    error to share with you.

    Regards, Iván


Hi Oleg, thank you for your answer. The configuration file that I use in 
the process of installation of GuixSD was the file desktop.scm in 
/etc/configuration. I copied that with (as here 
<https://www.gnu.org/software/guix/manual/html_node/Proceeding-with-the-Installation.html#Proceeding-with-the-Installation>):

cp /etc/configuration/desktop.scm /mnt/etc/config.scm

I think that I made something wrong when I have to create the partition 
to the grub. As a note, it is my first time installing an operative 
system via terminal. I have been user of Ubuntu and now I am user of 
Debian, but I want to test GuixSD, I am thinking in a possible 
migration. Maybe the error was mine. Tonight I am going to try again the 
installation.

Thanks to both!

Regards, Iván
-- 
Iván Hernández Cazorla.
Estudiante del Grado de Historia en la *Universidad de Las Palmas de 
Gran Canaria*.
Socio de *Wikimedia España*.
Sitio web personal <http://distriker.com>.

[-- Attachment #2: Type: text/html, Size: 3799 bytes --]

Re: Grub installation failed during the GuixSD's installation

[Iván Hernández Cazorla]

[-- Attachment #1: Type: text/plain, Size: 2104 bytes --]

2017-07-28 16:21 GMT+01:00 Oleg Pykhalov <go.wigust@gmail.com>:

> Hello Iván,
>
> Iván Hernández Cazorla <ivanhercaz@gmail.com> writes:
>
> > Hi,
> >
> > I init the process to install GuixSD, everything seems to be correct
> > during the process. But at the end it shows an error that says that
> > was impossible to install the grub. I understand that GuixSD was
> > installed correctly, but the grub not.
> >
> > When I switch on the laptop I didn't see any grub to init GuixSD.
> >
> > I don't remember the code nor the text of the error.
> >
> > Thanks in advance!
> >
> > Regards, Iván
>
> This is a good example how to setup GuixSD on UEFI system
> https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/system/e
> xamples/lightweight-desktop.tmpl
>

Before I thanked to Ludovic for its answer, but when I am in the smartphone
and I reply to a list, sometimes I reply to the user and not the list,
silly mistakes hehe. What I replyed to Ludovic was:

> Hi Ludovic!
> Thank you for your answer. If am not wrong, yes, I installed in a UEFI
> machine. I use the configuration file copied as in the instructions of
> GuixSD said.
>
> I have thought that the problem could be related with the partition for
> boot, maybe I did something wrong in that step.
>
> Now I don't get any error, simply I can't access. Thia afternoon I am
> going to try again and if it happens again, I will write the error to share
> with you.
>
> Regards, Iván
>

Hi Oleg, thank you for your answer. The configuration file that I use in
the process of installation of GuixSD was the file desktop.scm in
/etc/configuration. I copied that with (as here
<https://www.gnu.org/software/guix/manual/html_node/Proceeding-with-the-Installation.html#Proceeding-with-the-Installation>
):

cp /etc/configuration/desktop.scm /mnt/etc/config.scm

I think that I made something wrong when I have to create the partition to
the grub.
-- 
Iván Hernández Cazorla.
Estudiante del Grado de Historia en la *Universidad de Las Palmas de Gran
Canaria*.
Socio de *Wikimedia España*

[-- Attachment #2: Type: text/html, Size: 3228 bytes --]