Fixed PATH for lean

4 years ago · ce9114a13f
parent 1c3882211b
commit ce9114a13f
1 changed files with 1 additions and 1 deletions
--- a/.bashrc
+++ b/.bashrc
@ -64,5 +64,5 @@ bind '"\e[A": history-search-backward'
 bind '"\e[B": history-search-forward'
 complete -cf sudo
-export PATH="$PATH:~/.local/bin"
+export PATH="$HOME/.local/bin:$PATH"
 export PATH="$HOME/.elan/bin:$PATH"