Subject: Re: bug#60778: [PATCH] guix-install.sh: Source both profiles, default user's and home.

From: Ludovic Courtès <[email-masked]>
Date: Fri, 07 Apr 2023 17:24:07 +0200

Hi,

Andrew Tropin <[email-masked]> skribis:

> * etc/guix-install.sh (sys_create_init_profile): Source both profiles, default
> user's and home.

[...]

> +[ -L $GUIX_PROFILE ] || \

[...]

> +[ -L $GUIX_PROFILE ] || \

This should be enclosed in double quotes.

Otherwise LGTM, thanks!

Ludo’.