From 1c3882211b86f1b89531a72f1ede394bd51cfdc9 Mon Sep 17 00:00:00 2001 From: zoomiti Date: Mon, 18 Oct 2021 15:54:41 -0400 Subject: [PATCH] Fixed adding lean to PATH --- .bashrc | 1 + 1 file changed, 1 insertion(+) diff --git a/.bashrc b/.bashrc index 3d9249a..678f174 100644 --- a/.bashrc +++ b/.bashrc @@ -65,3 +65,4 @@ bind '"\e[B": history-search-forward' complete -cf sudo export PATH="$PATH:~/.local/bin" +export PATH="$HOME/.elan/bin:$PATH"