Idris/iutils-raku
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Update envrc

Browse source
This commit is contained in:
Nathan McCarty 2024-12-31 17:28:21 -05:00
parent dcdaa374d7
commit c089685a2a
2 changed files with 11 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
.envrc
View file

@ -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

1
.gitignore vendored
View file

@ -6,3 +6,4 @@ tmp/
.direnv/
**/build/
**/.precomp/
.env