2024-12-30 11:08:48 +00:00
|
|
|
use flake ~/Projects/Nix/system#idris2
|
2024-12-31 22:28:21 +00:00
|
|
|
|
|
|
|
|
export PACK_DIR=$PWD/.env/pack
|
2024-12-30 11:08:48 +00:00
|
|
|
export HEDGEHOG_COLOR=true
|
2024-12-31 22:28:21 +00:00
|
|
|
|
|
|
|
|
PATH_add $PWD/.env/pack/bin
|
|
|
|
|
PATH_add $PWD/.scripts/bin
|
|
|
|
|
|
|
|
|
|
export RAKUDO_LINE_EDITOR=Readline
|
|
|
|
|
export RAKULIB=$PWD/lib
|
|
|
|
|
|
|
|
|
|
PATH_add ~/.raku/bin
|
