>>107550830
no, you still need to write some bash (either directly in your home config or in a separate file) if you want to source GUIX_PROFILE/etc/profile. the config i showed tells guix home to append the contents of the local-file .bash_profile to the default contents of ~/.bash_profile, like the manual says
‘bash-profile’ (default: ‘()’) (type: text-config)
List of file-like objects, which will be added to
‘.bash_profile’.
if you don't want guix to use any defaults in the bash files, you need to set `guix-defaults?' in `home-bash-configuration' to #f. the defaults are defined in the module (gnu home services shells) https://codeberg.org/guix/guix/src/commit/master/gnu/home/services/shells.scm#L421
also i just found out that it's better to export GUIX_PROFILE. this is what /etc/profile says:
# When GUIX_PROFILE is undefined, the various environment variables refer
# to this specific profile generation.
so the contents of the local-file .bash_profile should be something like
# ^ Additional whitespace because this is appended directly to ~/.bash_profile
Comment too long. Click here to view the full text.
