From c089685a2a09ec487d43f0da1f93d6b80ce6c86b Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Tue, 31 Dec 2024 17:28:21 -0500 Subject: [PATCH] Update envrc --- .envrc | 17 ++++++++++------- .gitignore | 1 + 2 files changed, 11 insertions(+), 7 deletions(-) diff --git a/.envrc b/.envrc index e086264..f1cd7c1 100644 --- a/.envrc +++ b/.envrc @@ -1,9 +1,12 @@ use flake ~/Projects/Nix/system#idris2 -export PACK_DIR=~/Projects/Idris/.env/pack -export RAKUDIST_HOME=~/Projects/Idris/.env/raku -export ZEF_BIN_DIR=~/Projects/Idris/.env/raku/bin + +export PACK_DIR=$PWD/.env/pack export HEDGEHOG_COLOR=true -export RAKULIB=/home/nathan/Projects/Idris/iutils/lib -PATH_add ~/Projects/Idris/.env/pack/bin -PATH_add ~/Projects/Idris/.scripts/bin -PATH_add ~/Projects/Idris/.env/raku/bin + +PATH_add $PWD/.env/pack/bin +PATH_add $PWD/.scripts/bin + +export RAKUDO_LINE_EDITOR=Readline +export RAKULIB=$PWD/lib + +PATH_add ~/.raku/bin diff --git a/.gitignore b/.gitignore index 2f859a3..ff5fe8a 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,4 @@ tmp/ .direnv/ **/build/ **/.precomp/ +.env