diff options
| author | Thomas Ulmer <thomasmulmer02@gmail.com> | 2026-07-08 09:56:36 -0700 |
|---|---|---|
| committer | Thomas Ulmer <thomasmulmer02@gmail.com> | 2026-07-08 09:56:36 -0700 |
| commit | 19bc81f77b82b70e27ad03aeb41de9a4e507bcce (patch) | |
| tree | 26d13367f90efadca2780be445204aa5ae89b203 /config/bash_profile | |
| parent | 8e8e5241e96dc1bec3d897f514b77553da033529 (diff) | |
merge profile, make sh generic to allow ksh
Diffstat (limited to 'config/bash_profile')
| -rw-r--r-- | config/bash_profile | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/config/bash_profile b/config/bash_profile deleted file mode 100644 index 1613f56..0000000 --- a/config/bash_profile +++ /dev/null @@ -1,39 +0,0 @@ -# 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/musl/bin ]; then - export PATH=~/.local/musl/bin:$PATH -fi - -if [ -d ~/.local/bin ]; then - export PATH=~/.local/bin:$PATH -fi - -if [ -d /usr/local/lib/pkgconfig ]; then - export PKG_CONFIG_PATH=/usr/local/lib/pkgconfig:$PKG_CONFIG_PATH -fi |