diff --git a/bash/bash_profile b/bash/bash_profile index 8f2920a..9a8bd4e 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -1,25 +1,3 @@ -# Activate Guix extra profiles. -for i in ~/.guix-extra-profiles/*; do - profile=$i/$(basename "$i") - if [ -f "$profile"/etc/profile ]; then - GUIX_PROFILE="$profile" - source "$profile"/etc/profile - fi - if [ -d "$profile"/etc/xdg ]; then - export XDG_CONFIG_DIRS="$profile"/etc/xdg:$XDG_CONFIG_DIRS - fi - if [ -d "$profile"/share ]; then - export XDG_DATA_DIRS="$profile"/share:$XDG_DATA_DIRS - fi - if [ -d "$profile"/share/man ]; then - export MANPATH="$profile"/share/man:$MANPATH - fi - if [ -d "$profile"/share/info ]; then - export INFOPATH="$profile"/share/info:$INFOPATH - fi - unset profile -done - # Activate Nix profile. if [ -f /run/current-system/profile/etc/profile.d/nix.sh ]; then source /run/current-system/profile/etc/profile.d/nix.sh