From mboxrd@z Thu Jan  1 00:00:00 1970
From: Roel Janssen <roel@gnu.org>
Subject: bug#28445: Cannot boot GuixSD after system reconfigure
Date: Fri, 22 Sep 2017 02:24:36 +0200
Message-ID: <87vakbmvgb.fsf@gnu.org>
References: <rbuo9q4cken.fsf@gnu.org> <87bmm3kh47.fsf@gnu.org>
	<87fubf4s77.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.28445.B28445.150603269930011@debbugs.gnu.org>
In-reply-to: <87fubf4s77.fsf@gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: 28445@debbugs.gnu.org, help-guix <help-guix@gnu.org>
List-Id: help-guix.gnu.org


Ludovic Courtès writes:

> Hi Roel,
>
> Roel Janssen <roel@gnu.org> skribis:
>
>> Roel Janssen writes:
>>
>>> Dear Guix,
>>>
>>> I 'guix pull'ed commit 228a398 and ran:
>>>   guix system reconfigure /etc/config.scm
>>>
>>> It looks like GRUB cannot find my root partition (/dev/sda3).  So, I
>>> suspect that something has changed regarding specifying the partitions (UUIDs?).
>
> [...]
>
>> So, I was able to fix GRUB by manually modifying /boot/grub/grub.cfg:
>>
>> -search --label --set /dev/sda3
>> +search --no-floppy --fs-uuid --set <blkid uuid output>
>
> I believe this is fixed with db4e8fd5d4a07d3be8ce68fb96722ef7077c0eee.
>
> Could you please let me know if everything’s OK?

I changed the following pieces of my config:

  (bootloader (bootloader-configuration
               (bootloader grub-efi-bootloader)
               (target "/boot/efi")))

  (file-systems (cons*
                 (file-system
                  (title 'uuid)
                  (device (uuid "<uuid>"))
                  (mount-point "/boot")
                  (needed-for-boot? #t)
                  (type "ext4"))
		 (file-system
                  (title 'device)
                  (device "/dev/sda1")
                  (mount-point "/boot/efi")
                  (needed-for-boot? #t)
                  (type "vfat"))
                 (file-system
                  (mount-point "/")
                  (options "ssd")
                  (title 'uuid)
                  (device (uuid "<uuid>"))
                  (options "ssd")
                  (type "btrfs"))
                 (file-system
                  (title 'device)
                  (device "tmpfs")
                  (mount-point "/var/guix/temproots")
                  (type "tmpfs"))
                 (file-system
                  (title 'device)
                  (device "tmpfs")
                  (mount-point "/tmp")
                  (type "tmpfs"))
                 %base-file-systems))

And with these changes, I can boot GuixSD again.

The vfat partitions have a shorter UUID, which are not accepted by
Guix.  Is this on purpose?  As you can see in the snippet above, I use
'device for the vfat partition and 'uuid for the other disk-based
partitions.  It would be nice to use UUIDs for every partition.

Thanks for your time.

Kind regards,
Roel Janssen