diff options
Diffstat (limited to '.profile')
| -rw-r--r-- | .profile | 12 | 
1 files changed, 12 insertions, 0 deletions
| @@ -20,6 +20,9 @@ fi  export PATH  export INFOPATH +export MY_GUIX_MANIFESTS="$HOME/.config/guix/manifest" +export MY_GUIX_PROFILES="$HOME/.config/guix/profile" +  export XDG_CONFIG_HOME="$HOME/.config"  export XDG_DATA_HOME="$HOME/.local/share" @@ -60,6 +63,15 @@ if [ -z "$IS_GUIX_SYSTEM" ]; then      fi  fi +for p in $MY_GUIX_PROFILES/*; do +    profile=$p/$(basename "$p") +    if [ -f "$profile"/etc/profile ]; then +        GUIX_PROFILE="$profile" +        . "$GUIX_PROFILE"/etc/profile +    fi +    unset profile +done +  # start an ssh-agent (with guix's openssh)  if [ -z "$IS_GUIX_SYSTEM" ]; then      if ! pgrep -u "$USER" ssh-agent > /dev/null; then | 
