From: Adam McCartney via <help-guix@gnu.org>
To: help-guix@gnu.org
Subject: What else could set the GUIX_PROFILE variable?
Date: Sat, 22 Jun 2024 08:33:29 +0200 [thread overview]
Message-ID: <ZnZwOc2DntXqs5ii@mc> (raw)
Hi Guix,
Does something set the GUIX_PROFILE variable to $HOME/.guix-home/profile by
deafault?
So I've been scratching my head about this today. It may be obvious to someone
else what is happening. I'm running guix ad a foreign distro on a number of
machines, others are guix system on one. Some use a profile that exists in
'~/.guix-home/profile' others rely on '.guix-extra-profiles/$(hostname)/$(hostname)'.
I can observe the following behaviour on a "foreign distro" that uses a profile
defined by the hostname of the system.
I define a small function in my bashrc that checks to see what one is active.
```
# .bashrc
function guix_activate_profile() {
# Check for a "host" profile
# Set it if it exists
if [ -d "$HOME/.guix-extra-profiles/$(hostname)/$(hostname)" ]; then
export GUIX_PROFILE="$HOME/.guix-extra-profiles/$(hostname)/$(hostname)"
. "$GUIX_PROFILE/etc/profile"
elif [ -d "$HOME/.guix-home/profile" ]; then
echo "default to ~/.guix-home/profile"
export GUIX_PROFILE="$HOME/.guix-home/profile"
. "$GUIX_PROFILE/etc/profile"
fi
}
if [ -z ${GUIX_PROFILE} ]; then # none active
guix_activate_profile # try to activate host profile
fi
```
After I login and start a terminal emulator, everything appears to be
hunky dory:
```
amccartn@mc ~
> echo $GUIX_PROFILE
/home/amccartn/.guix-extra-profiles/mc/mc
```
As soon as I start a tmux session, something mysteriously sets the GUIX_PROFILE
to $HOME/.guix-home/profile. And the original control loop in my bashrc doesn't run.
```
> echo $GUIX_PROFILE
/home/amccartn/.guix-home/profile
amccartn@mc ~
> guix package --list-profiles
/home/amccartn/.guix-extra-profiles/mc/mc
/home/amccartn/.config/guix/current
/home/amccartn/.guix-profile
```
Note that the guix home profile doesn't exist on the machine!
```
amccartn@mc ~
> ls -l $HOME/.guix-home/profile
ls: cannot access '/home/amccartn/.guix-home/profile': No such file or directory
```
I realize that the problem goes away if I remove the control block. So maybe
it's just a logic error on my part. I'd still like to know what is setting the
GUIX_PROFILE to $HOME/.guix-home/profile when I launch tmux.
Thanks!
Adam
--
Adam McCartney - https://admccartney.mur.at
/
next reply other threads:[~2024-06-22 6:34 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-06-22 6:33 Adam McCartney via [this message]
2024-06-22 7:50 ` What else could set the GUIX_PROFILE variable? Nils Landt
2024-06-22 9:24 ` Adam McCartney via
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=ZnZwOc2DntXqs5ii@mc \
--to=help-guix@gnu.org \
--cc=adam@mur.at \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).