From 2a4b9687993b001f0614e3fb96cae24af73aede7 Mon Sep 17 00:00:00 2001 From: Oscar Najera Date: Mon, 2 Oct 2023 00:49:04 +0200 Subject: reduce bash dotfiles --- home-dots/dot-bash_profile | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 home-dots/dot-bash_profile (limited to 'home-dots/dot-bash_profile') diff --git a/home-dots/dot-bash_profile b/home-dots/dot-bash_profile deleted file mode 100644 index ea2a147..0000000 --- a/home-dots/dot-bash_profile +++ /dev/null @@ -1,6 +0,0 @@ -# -# ~/.bash_profile -# -[[ -f ~/.bashrc ]] && . ~/.bashrc -# [ -f "$HOME/.ghcup/env" ] && source "$HOME/.ghcup/env" # ghcup-env -# source "$HOME/.cargo/env" -- cgit v1.2.3