From 08fa07618b1d1d40773d1969f31d6d63713f534b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=93scar=20N=C3=A1jera?= Date: Sat, 7 May 2022 23:05:05 +0200 Subject: move variables from bashrc to profile --- home-dots/dot-bash_profile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'home-dots/dot-bash_profile') diff --git a/home-dots/dot-bash_profile b/home-dots/dot-bash_profile index aeac56a..ea2a147 100644 --- a/home-dots/dot-bash_profile +++ b/home-dots/dot-bash_profile @@ -1,6 +1,6 @@ # # ~/.bash_profile # - [[ -f ~/.bashrc ]] && . ~/.bashrc -. "$HOME/.cargo/env" +# [ -f "$HOME/.ghcup/env" ] && source "$HOME/.ghcup/env" # ghcup-env +# source "$HOME/.cargo/env" -- cgit v1.2.3