diff options
| author | Thomas Ulmer <thomasmulmer02@gmail.com> | 2026-02-04 14:24:16 -0800 |
|---|---|---|
| committer | Thomas Ulmer <thomasmulmer02@gmail.com> | 2026-02-04 14:24:16 -0800 |
| commit | 9139a1b136fa2b5adfcac0ac09a4f61aa1ee1ff4 (patch) | |
| tree | de82bc4776b87f1fbb86f14b4a15d35d009ddd28 /config/bash_profile | |
| parent | a9bf8f30c746f5b28bb7eb6938e8390127081a32 (diff) | |
full reorg
Diffstat (limited to 'config/bash_profile')
| -rw-r--r-- | config/bash_profile | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/config/bash_profile b/config/bash_profile new file mode 100644 index 0000000..88f4ed4 --- /dev/null +++ b/config/bash_profile @@ -0,0 +1,32 @@ +# This file is sourced by bash for login shells. The following line +# runs your .bashrc and is recommended by the bash info pages. + +# Ensure XDG_RUNTIME_DIR is set +if test -z "$XDG_RUNTIME_DIR"; then + export XDG_RUNTIME_DIR=$(mktemp -d /tmp/$(id -u)-runtime-dir.XXX) +fi + +if [[ -f ~/.bashrc ]] ; then + . ~/.bashrc +fi + +if [ -d ~/.ghcup/bin ]; then + export PATH=~/.ghcup/bin:$PATH +fi + +if [ -d ~/.cabal/bin ]; then + export PATH=~/.cabal/bin:$PATH +fi + +if [ -d ~/.cargo/bin ]; then + export PATH=~/.cargo/bin:$PATH +fi + +if [ -d ~/.mcabal/bin ]; then + export PATH=~/.mcabal/bin:$PATH +fi + +if [ -d ~/.local/bin ]; then + export PATH=~/.local/bin:$PATH +fi + |
