From 5defd45dac8affe339d779b7f28a3d0cfb7c6ef7 Mon Sep 17 00:00:00 2001
From: Thomas Ulmer <thomasmulmer02@gmail.com>
Date: Sat, 13 Dec 2025 13:21:27 -0800
Subject: bash config cleanup, include bash_profile

---
 bash_profile | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 bash_profile

(limited to 'bash_profile')

diff --git a/bash_profile b/bash_profile
new file mode 100644
index 0000000..05b61f8
--- /dev/null
+++ b/bash_profile
@@ -0,0 +1,26 @@
+# This file is sourced by bash for login shells.  The following line
+# runs your .bashrc and is recommended by the bash info pages.
+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