Re: Gnome and custom profile

[Jérémy Korwin-Zmijowski]

Le lundi 18 janvier 2021 à 12:32 +0100, Pierre Neidhardt a écrit :
>       Erreur lors de la vérification de la signature : Le lancement
> de GPG a échoué.
> 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!
> 

Hello Pierre !

I am sure it's ${GUIX_EXTRA_PROFILES}/jeko

$ ls $HOME/.guix-extra-profiles/jeko
bin/  etc/  include/  lib/  libexec/  manifest  sbin  share/  var

I can source my .profile from command line, giving me access to
GUIX_EXTRA_PROFILES for example. But Gnome won't update XDG_DATA_DIRS
that way. I don't understand why it does not source it at login.

Jérémy