From 9139a1b136fa2b5adfcac0ac09a4f61aa1ee1ff4 Mon Sep 17 00:00:00 2001 From: Thomas Ulmer Date: Wed, 4 Feb 2026 14:24:16 -0800 Subject: full reorg --- bash_profile | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100644 bash_profile (limited to 'bash_profile') diff --git a/bash_profile b/bash_profile deleted file mode 100644 index 88f4ed4..0000000 --- a/bash_profile +++ /dev/null @@ -1,32 +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/bin ]; then - export PATH=~/.local/bin:$PATH -fi - -- cgit v1.2.3