[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: What is GUIX_PROFILE for?

From: Marius Bakke
Subject: Re: What is GUIX_PROFILE for?
Date: Sat, 23 Jun 2018 18:40:18 +0200
User-agent: Notmuch/0.27 ( Emacs/26.1 (x86_64-pc-linux-gnu)

George Clemmer <address@hidden> writes:

> What is GUIX_PROFILE is for?
> First question:
> If I log into a GuixSD vm-image w/ 1 package installed ...
> nemo:~ $ ssh address@hidden
> Last login: Fri Jun 22 08:24:11 2018 from fe80::1c82:5c21:6372:5970%eth0
> address@hidden ~$ guix package -I
> znc       1.7.0   out
> /gnu/store/giv77vd376nkwpgl08fjfkq87b9mm8xj-znc-1.7.0
> ... GUIX_PROFILE is not in env ...
> env | grep GUIX GUIX_LOCPATH=/run/current-system/locale
> ... but echo reports it ...
> address@hidden ~$ echo $GUIX_PROFILE
> /home/g1/.guix-profile
> That seems odd to me. What does it mean?
> Second question:
> If I set GUIX_PROFILE to something else, does it have any effect on what
> Guix does for me?

If GUIX_PROFILE is unset when sourcing the profile, the resulting
environment will refer to the generated profile (in the store) rather
than the "normal" location of the profile.


GUIX_PROFILE=/tmp/p1; source /tmp/p1/etc/profile
echo $PATH


unset GUIX_PROFILE; source /tmp/p1/etc/profile
echo $PATH

In the first case, the resulting environment will always refer to the
latest generation of the profile; in the latter, the environment refers
to one particular profile generation.

This is explained in the top of the generated <profile>/etc/profile
script, but could perhaps use a mention in the manual.

Hope this clears things up :-)

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]