From cf90ca0f7b27648aa06528404371020e70aff58c Mon Sep 17 00:00:00 2001
From: Tyler Perkins <tyler@clortox.com>
Date: Tue, 23 Sep 2025 20:41:41 -0400
Subject: [PATCH] Add lean

---
 .bashrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.bashrc b/.bashrc
index 5128256..ccd108e 100644
--- a/.bashrc
+++ b/.bashrc
@@ -44,6 +44,9 @@ export _JAVA_AWT_WM_NONREPARENTING=1
 # use vim as editor
 export EDITOR="/usr/bin/nvim"
 
+# Add elan to PATH
+export PATH="$HOME/.elan/bin:$PATH"
+
 # pyenv
 export PYENV_ROOT="$HOME/.pyenv"
 export PATH="$PYENV_ROOT/versions/bin/3.8.12/bin:$PATH"