From 19bc81f77b82b70e27ad03aeb41de9a4e507bcce Mon Sep 17 00:00:00 2001
From: Thomas Ulmer <thomasmulmer02@gmail.com>
Date: Wed, 8 Jul 2026 09:56:36 -0700
Subject: merge profile, make sh generic to allow ksh

---
 config/bash_profile | 39 ---------------------------------------
 1 file changed, 39 deletions(-)
 delete mode 100644 config/bash_profile

(limited to 'config/bash_profile')

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
-- 
cgit v1.2.3