10 lines
380 B
Plaintext
10 lines
380 B
Plaintext
|
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 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
|