Is my Guix ENV (bash_profile) right? [System + Home + Guix Package]

Hi All,

Just wanted to check to see if I have my .bash_profile set up correctly. I have some packages set up at the system level: stumpwm, stumpwm:lib, and sbcl. The remainder of my packages in Guix home (i.e. stumpwm contrib stuff as well as most of everything else). Then I also do have some stuff installed via guix package, i.e. Lem and a few other packages. I am not exactly sure, even after reading the manual, how or what is the correct way to set up .bash_profile for this specific use case and would appreciate any help.

I have home-bash-service-type set up as follows:

(service home-bash-service-type
(home-bash-configuration
	     (guix-defaults? #f)
(aliases '(("grep" . "grep --color=auto")
          ("ls"   . "ls -p --color=auto")
          ("ll"   . "ls -l")
          ("la"   . "ls -la")
          ("ghr"  . "guix home reconfigure")
          ("gsr"  . "sudo guix system reconfigure")
          ("gup"  . "guix pull && guix upgrade")
          ("gud"  . "guix system delete-generations")
          ("ghd"  . "guix home delete-generations")))
(bashrc
(list (local-file "./config/dot-bashrc.sh"
                  #:recursive? #t)))
(bash-profile
(list (local-file "./config/dot-bash_profile.sh"
                  #:recursive? #t)))))

Here is my dot-bash_profile.sh that Guix home uses:

# Add ~/.guix-profile if it exists
if [ -L ~/.guix-profile ]; then
    GUIX_PROFILE="/home/logoraz/.guix-profile"
    . "$GUIX_PROFILE/etc/profile"
fi

And finally, this is the .bash_profile that Guix generates:

# Set up the system, user profile, and related variables.
# /etc/profile will be sourced by bash automatically
# Set up the home environment profile.
if [ -f ~/.profile ]; then source ~/.profile; fi

# Honor per-interactive-shell startup file
if [ -f ~/.bashrc ]; then source ~/.bashrc; fi

# Add ~/.guix-profile if it exists
if [ -L ~/.guix-profile ]; then
    GUIX_PROFILE="/home/logoraz/.guix-profile"
    . "$GUIX_PROFILE/etc/profile"
fi

Thanks!