2 files changed, 7 insertions, 2 deletions
diff --git a/home/age-recipients b/home/age-recipients
index c59cd10..0a99bdc 100644
--- a/home/age-recipients
+++ b/home/age-recipients
@@ -1,3 +1,3 @@
 age1r42nded7xmvfanq5mqqa0ld6v666f3mxtfqjstfygqg5yj2nte6s2tssjf
-age1yubikey1qtdpuvjq6ywtnsxz55ugjlmhquewkzccqyyafr5ngw0w5433cjw7zr6nd2v
-age1yubikey1q2wnvc90uqjfwu8pxwxexnzsue72m3xjpur73hr3ndcf9d69zq6rvsgmd9w
+age1yubikey1qdwl9grctzt49h0tcleusvaytajfzdwzvnepz59wq3tt5fvwsqwajchhvgs
+age1yubikey1qwyz0xdmpxvnuevnusw66336ga48mle4dk07akglgm8fywp3uusfk86npjm
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"