From 64f8383e257133613cee9d76d16a8d8f039d0d4c Mon Sep 17 00:00:00 2001
From: Rubén Beltrán del Río <jj@r.bdr.sh>
Date: Tue, 14 Jul 2026 15:02:51 +0200
Subject: Add paths for elan and gchup

---
 home/zshrc | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'home')

diff --git a/home/zshrc b/home/zshrc
index 5b1f449..0aeb36c 100644
--- a/home/zshrc
+++ b/home/zshrc
@@ -111,3 +111,8 @@ case ":$PATH:" in
   *) export PATH="$PNPM_HOME:$PATH" ;;
 esac
 # pnpm end
+
+[ -f "$HOME/.ghcup/env" ] && . "$HOME/.ghcup/env" # ghcup-env
+
+# Elan / Lean4
+export PATH="$HOME/.elan/bin:$PATH"
-- 
cgit