Gnome and custom profile

Gnome and custom profile

[Jérémy Korwin-Zmijowski]

Dear Guixters !

Hope you are well and safe.

On my fresh Guix System, I created a profile using a manifest (mostly
to install Emacs and Qemu).
Then I tried to activate the profile during startup through .profile
file… and nothing happend. My exported variables are not even part of
the environment.
I tried to activate it through the .bashrc then I was able to launch
apps using command line but Gnome doesn't see them.

How should I activate my custom profile ?

$ cat .profile
GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles
export GUIX_EXTRA_PROFILES
GUIX_PROFILE="${GUIX_EXTRA_PROFILES}/jeko"
. "$GUIX_PROFILE/etc/profile"
XDG_DATA_DIRS="${XDG_DATA_DIRS}:${GUIX_EXTRA_PROFILES}/jeko/share"

$ guix package --search-paths -p "$HOME/.guix-extra-profiles/jeko"
export PATH="/home/jeko/.guix-extra-profiles/jeko/bin:/home/jeko/.guix-
extra-profiles/jeko/sbin"
export EMACSLOADPATH="/home/jeko/.guix-extra-
profiles/jeko/share/emacs/site-lisp:/home/jeko/.guix-extra-
profiles/jeko/share/emacs/27.1/lisp"
export INFOPATH="/home/jeko/.guix-extra-profiles/jeko/share/info"
export GUILE_LOAD_PATH="/home/jeko/.guix-extra-
profiles/jeko/share/guile/site/3.0"
export GUILE_LOAD_COMPILED_PATH="/home/jeko/.guix-extra-
profiles/jeko/lib/guile/3.0/site-ccache:/home/jeko/.guix-extra-
profiles/jeko/share/guile/site/3.0"
export MANPATH="/home/jeko/.guix-extra-profiles/jeko/share/man"
export PKG_CONFIG_PATH="/home/jeko/.guix-extra-
profiles/jeko/lib/pkgconfig"

$ cat guix-jeko-manifests/jeko-manifest.scm 
(specifications->manifest
 '(
   ;; Blog
   ;;; "haunt"
   ;;; "skribilo"
   
   ;; Emacs for Gui{le,x} dev
   "emacs"
   "emacs-auto-complete"
   "emacs-paredit"
   "emacs-geiser"
   "emacs-ac-geiser"
   "emacs-yasnippet"
   "emacs-rainbow-delimiters"
   "emacs-iedit"
   "emacs-guix"
   "emacs-flycheck"
   "emacs-flycheck-guile"
   "emacs-multiple-cursors"
   "emacs-magit"
   "emacs-ggtags"
   "emacs-projectile"
   
   ;; Guile and tools
   "guile"
   "guile-readline"
   "guile-colorized"
   "guile-hall"

   ;; Doc
   "info-reader"
   "man-db"
   "pkg-config"

   ;; Misc
   "qemu"
   ))


Cheers,
Jérémy

Re: Gnome and custom profile

[Pierre Neidhardt]

[-- Attachment #1: Type: text/plain, Size: 523 bytes --]

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 #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 511 bytes --]

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

Re: Gnome and custom profile

[Luis Felipe]

Hi, Jérémy,

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Saturday, January 16, 2021 9:56 PM, Jérémy Korwin-Zmijowski <jeremy@korwin-zmijowski.fr> wrote:

> XDG_DATA_DIRS="${XDG_DATA_DIRS}:${GUIX_EXTRA_PROFILES}/jeko/share"

But are you sure you are exporting XDG_DATA_DIRS?

For what it's worth, I export that variable for GNOME to find the applications I install with Flatpak, and it works. I don't use .profile though, I use .bash_profile for that and to start the shepherd for user-level services when I log in to the desktop.

Re: Gnome and custom profile

[Jérémy Korwin-Zmijowski]

Le lundi 18 janvier 2021 à 14:14 +0000, Luis Felipe a écrit :
> Hi, Jérémy,
> 
> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
> On Saturday, January 16, 2021 9:56 PM, Jérémy Korwin-Zmijowski <
> jeremy@korwin-zmijowski.fr> wrote:
> 
> > XDG_DATA_DIRS="${XDG_DATA_DIRS}:${GUIX_EXTRA_PROFILES}/jeko/share"
> 
> But are you sure you are exporting XDG_DATA_DIRS?
> 
> For what it's worth, I export that variable for GNOME to find the
> applications I install with Flatpak, and it works. I don't use
> .profile though, I use .bash_profile for that and to start the
> shepherd for user-level services when I log in to the desktop.

I tried through .bash_profile and it works ! Thank you Luis !

Jérémy