diff options
Diffstat (limited to 'files/.bash_profile')
-rw-r--r-- | files/.bash_profile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/files/.bash_profile b/files/.bash_profile new file mode 100644 index 0000000..14802fe --- /dev/null +++ b/files/.bash_profile | |||
@@ -0,0 +1,17 @@ | |||
1 | # Honor per-interactive-shell startup file | ||
2 | if [ -f ~/.bashrc ]; then . ~/.bashrc; fi | ||
3 | |||
4 | export GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles | ||
5 | |||
6 | for i in $GUIX_EXTRA_PROFILES/*; do | ||
7 | profile=$i/$(basename "$i") | ||
8 | if [ -f "$profile"/etc/profile ]; then | ||
9 | GUIX_PROFILE="$profile" | ||
10 | . "$GUIX_PROFILE"/etc/profile | ||
11 | fi | ||
12 | unset profile | ||
13 | done | ||
14 | |||
15 | export NIX_PATH=~/.nix-defexpr/channels/nixos/ | ||
16 | |||
17 | . .profile | ||