diff options
| author | jdlugosz963 <jdlugosz963@gmail.com> | 2023-07-03 14:12:58 +0200 |
|---|---|---|
| committer | jdlugosz963 <jdlugosz963@gmail.com> | 2023-07-03 14:37:09 +0200 |
| commit | 49e0dc10749a34f66a0935c1ded8f6fa6c4b346c (patch) | |
| tree | 8f04a20602177a9c24d980442e850c43aeca5f8c /.bash_profile | |
| parent | 47a2b2c8caff2a59ab6d67ffae837811fc24ccf5 (diff) | |
| download | dotfiles-49e0dc10749a34f66a0935c1ded8f6fa6c4b346c.tar.gz dotfiles-49e0dc10749a34f66a0935c1ded8f6fa6c4b346c.zip | |
Add guix manifests and channels.
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 | ||