From 3b8d8a4ecc840df443c58771427e464f506ee096 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Sun, 12 Jan 2025 11:57:20 -0500 Subject: [PATCH] Remove envrc for now --- .envrc | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 .envrc diff --git a/.envrc b/.envrc deleted file mode 100644 index f1cd7c1..0000000 --- a/.envrc +++ /dev/null @@ -1,12 +0,0 @@ -use flake ~/Projects/Nix/system#idris2 - -export PACK_DIR=$PWD/.env/pack -export HEDGEHOG_COLOR=true - -PATH_add $PWD/.env/pack/bin -PATH_add $PWD/.scripts/bin - -export RAKUDO_LINE_EDITOR=Readline -export RAKULIB=$PWD/lib - -PATH_add ~/.raku/bin