diff options
| author | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-07-14 15:02:51 +0200 |
|---|---|---|
| committer | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-09-02 23:44:01 +0200 |
| commit | 64f8383e257133613cee9d76d16a8d8f039d0d4c (patch) | |
| tree | 73da7565c04e3c96c12371585645568e0ea80b98 | |
| parent | c63f95eb847f7946542c26c38c511c799a0d74dd (diff) | |
Add paths for elan and gchup
| -rw-r--r-- | home/zshrc | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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" |