From ce9114a13ff8ce4cb8eeeea13f36675886bad738 Mon Sep 17 00:00:00 2001
From: zoomiti <sotoluis90@gmail.com>
Date: Tue, 19 Oct 2021 10:43:18 -0400
Subject: [PATCH] Fixed PATH for lean

---
 .bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.bashrc b/.bashrc
index 678f174..3974d93 100644
--- 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"