diff options
Diffstat (limited to '.bash_profile')
-rw-r--r-- | .bash_profile | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/.bash_profile b/.bash_profile index 8182e2b..608f031 100644 --- a/.bash_profile +++ b/.bash_profile | |||
@@ -1 +1,14 @@ | |||
1 | export PATH="$HOME/bin:$PATH" | 1 | # Honor per-interactive-shell startup file |
2 | if [ -f ~/.bashrc ]; then . ~/.bashrc; fi | ||
3 | |||
4 | export PATH="$HOME/bin:$PATH | ||
5 | export GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles | ||
6 | |||
7 | for i in $GUIX_EXTRA_PROFILES/*; do | ||
8 | profile=$i/$(basename "$i") | ||
9 | if [ -f "$profile"/etc/profile ]; then | ||
10 | GUIX_PROFILE="$profile" | ||
11 | . "$GUIX_PROFILE"/etc/profile | ||
12 | fi | ||
13 | unset profile | ||
14 | done | ||