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

Previous Next

Package: guix-patches;

Reported by: Andrew Tropin <andrew <at> trop.in>

Date: Fri, 13 Jan 2023 10:23:02 UTC

Severity: normal

Tags: patch

Done: Andrew Tropin <andrew <at> trop.in>

Bug is archived. No further changes may be made.

Full log

Message #8 received at 60778 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Andrew Tropin <andrew <at> trop.in>
Cc: 60778 <at> debbugs.gnu.org
Subject: Re: bug#60778: [PATCH] guix-install.sh: Source both profiles,
 default user's and home.
Date: Fri, 07 Apr 2023 17:24:07 +0200

Hi,

Andrew Tropin <andrew <at> trop.in> 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’.
This bug report was last modified 2 years and 81 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.