From 9139a1b136fa2b5adfcac0ac09a4f61aa1ee1ff4 Mon Sep 17 00:00:00 2001 From: Thomas Ulmer Date: Wed, 4 Feb 2026 14:24:16 -0800 Subject: full reorg --- config/bash_profile | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 config/bash_profile (limited to 'config/bash_profile') 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 + -- cgit v1.2.3