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/