From b035c6992fe6582ed8ba90a0259655c26ff93995 Mon Sep 17 00:00:00 2001
From: ache <ache@ache.one>
Date: Sun, 26 Feb 2023 01:18:15 +0100
Subject: Configur Lean

---
 config.fish | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'config.fish')

diff --git a/config.fish b/config.fish
index 4485a78..466922e 100644
--- a/config.fish
+++ b/config.fish
@@ -22,6 +22,12 @@ if type ruby 2> /dev/null > /dev/null
   set RUBY_PATH (ruby -e 'print Gem.user_dir')/bin
 end
 
+if test -e /home/ache/.elan/
+  set LEAN_PATH /home/ache/.elan/bin
+end
+
+
+
 set -x NPM_PACKAGES "$HOME/.npm-packages"
 set -x GOPATH "$HOME/.go"
 set -x NODE_PATH "$NPM_PACKAGES/lib/node_modules:$NODE_PATH"
@@ -50,6 +56,10 @@ end
 if [ -d "$EMSCRIPTEN_PATH" ]
     set -x PATH $PATH "$EMSCRIPTEN_PATH"
 end
+
+if [ -d "$LEAN_PATH" ]
+    set -x PATH $PATH "$LEAN_PATH"
+end
 if [ -d "$DEVKITPRO_DIR" ]
     set -x DEVKITPRO '/opt/devkitpro'
     set -x DEVKITARM '/opt/devkitpro/devkitARM'
-- 
cgit v1.2.3