Repair the home-bash-configuration service

While searching for a way to ensure $GUIX_PROFILE is always set, I found out
that the bash service should not be declared explicitly, but extended instead.

This commit solves both problems by switching to home-bash-extension and then
sourcing the .profile file within .bashrc .

The .profile file is sourced explicitly, because sourcing indirectly by means of
.bash_profile opens an infinite loop. As it turned out, the .bash_profile file
sources .bashrc .

0 files changed, 0 insertions, 0 deletions