help-guix
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Gnome and custom profile

From: Pierre Neidhardt
Subject: Re: Gnome and custom profile
Date: Mon, 18 Jan 2021 12:32:21 +0100 
Hi Jérémy!


> $ cat .profile
> GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles
> export GUIX_EXTRA_PROFILES
> GUIX_PROFILE="${GUIX_EXTRA_PROFILES}/jeko"

Are you sure it's ${GUIX_EXTRA_PROFILES}/jeko and not 
${GUIX_EXTRA_PROFILES}/jeko/jeko?

> . "$GUIX_PROFILE/etc/profile"
> XDG_DATA_DIRS="${XDG_DATA_DIRS}:${GUIX_EXTRA_PROFILES}/jeko/share"

Can you try the above GUIX_PROFILE setting and sourcing in a shell and
see if `env' shows any change?

Cheers!

-- 
Pierre Neidhardt
https://ambrevar.xyz/

Attachment: signature.asc
Description: PGP signature

reply via email to
[Prev in Thread] Current Thread [Next in Thread]