Catonano skribis:
> 2017-02-10 12:14 GMT+01:00 Catonano :
>
>> 2017-02-10 11:17 GMT+01:00 Catonano :
>>
>>
>>
>>
>>>
>>> On my HP laptop, “legacy” boot wouldn’t actually do what it’s supposed
to do; I had to use UEFI.
>>>
>>> Ah :-/
>>>
>>
>>
> Could this be relevant ?
>
> https://lists
2017-02-10 12:14 GMT+01:00 Catonano :
> 2017-02-10 11:17 GMT+01:00 Catonano :
>
>
>
>
>>
>> On my HP laptop, “legacy” boot wouldn’t actually do what it’s supposed
>>> to do; I had to use UEFI.
>>>
>>
>> Ah :-/
>>
>
>
Could this be relevant ?
https://lists.gnu.org/archive/html/guix-devel/2016-06/m
2017-02-10 11:17 GMT+01:00 Catonano :
>
> On my HP laptop, “legacy” boot wouldn’t actually do what it’s supposed
>> to do; I had to use UEFI.
>>
>
> Ah :-/
>
I tried to activate the UEFI thing and under UEFI the only boot option
available is through network.
No usb pen and no hard drive
This
2017-02-10 11:07 GMT+01:00 Ludovic Courtès :
> Catonano skribis:
>
> > 2017-02-10 10:47 GMT+01:00 Ludovic Courtès :
> >
> >> Howdy!
> >>
> >> Catonano skribis:
> >>
> >> > I managed to make the process end with no errors but then no operating
> >> > system to boot can be found :-/
> >>
> >> Do y
Catonano skribis:
> 2017-02-10 10:47 GMT+01:00 Ludovic Courtès :
>
>> Howdy!
>>
>> Catonano skribis:
>>
>> > I managed to make the process end with no errors but then no operating
>> > system to boot can be found :-/
>>
>> Do you have more info?
>>
>> If you are on a UEFI system, the process is
2017-02-10 10:47 GMT+01:00 Ludovic Courtès :
> Howdy!
>
> Catonano skribis:
>
> > I managed to make the process end with no errors but then no operating
> > system to boot can be found :-/
>
> Do you have more info?
>
> If you are on a UEFI system, the process is a bit more involved and not
> rea
Howdy!
Catonano skribis:
> I managed to make the process end with no errors but then no operating
> system to boot can be found :-/
Do you have more info?
If you are on a UEFI system, the process is a bit more involved and not
really documented right now, but that’d be an opportunity to docume
Catonano skribis:
> I just realized I have mistyped the grub configuration
>
> (bootloader (grub-configuration (device "/dev/sd1")))
>
> it should probably be
>
> (bootloader (grub-configuration (device "/dev/sda1")))
>
> or
>
> (bootloader (grub-configuration (device "/dev/sda")))
“/dev/sda” is
I managed to make the process end with no errors but then no operating
system to boot can be found :-/
I just realized I have mistyped the grub configuration
(bootloader (grub-configuration (device "/dev/sd1")))
it should probably be
(bootloader (grub-configuration (device "/dev/sda1")))
or
(bootloader (grub-configuration (device "/dev/sda")))
2017-02-09 16:40 GMT+01:00 Ludovic Courtès :
> Catonano skribis:
>
>
>
> If the root partition is not encrypted (and not RAID or anything like
> that), you don’t need to declare a “mapped device” for it. All you need
> is to declare a file system in the ‘file-systems’ field.
>
> HTH!
>
Yes, it
Catonano skribis:
> Given this excerpt from the sample desktop installation conf
>
> (mapped-devices
>(list (mapped-device
> (source (uuid "12345678-1234-1234-1234-123456789abc"))
> (target "the-root-device")
> (type luks-device-mapping
>
> I wonder: what'
ok, ok: ext4
Given this excerpt from the sample desktop installation conf
(mapped-devices
(list (mapped-device
(source (uuid "12345678-1234-1234-1234-123456789abc"))
(target "the-root-device")
(type luks-device-mapping
I wonder: what' s the type for a non Luks encrypted
14 matches
Mail list logo
