diff options
| author | jdlugosz963 <jdlugosz963@gmail.com> | 2025-08-11 17:36:57 +0200 |
|---|---|---|
| committer | jdlugosz963 <jdlugosz963@gmail.com> | 2025-08-11 17:40:12 +0200 |
| commit | bc591dcedf45b80f70661f33c42c68dbd581e901 (patch) | |
| tree | 4a3cbd7831d8e0d8ce12f318d64e06848c9ea3ab /files/.bash_profile | |
| parent | 1ebb0e267b40d86386b66b7b81686461446e39f8 (diff) | |
| download | dotfiles-bc591dcedf45b80f70661f33c42c68dbd581e901.tar.gz dotfiles-bc591dcedf45b80f70661f33c42c68dbd581e901.zip | |
Migrate to RDE
Diffstat (limited to 'files/.bash_profile')
| -rw-r--r-- | files/.bash_profile | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/files/.bash_profile b/files/.bash_profile deleted file mode 100644 index 14802fe..0000000 --- a/files/.bash_profile +++ /dev/null | |||
| @@ -1,17 +0,0 @@ | |||
| 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 | ||