idris2-pack
idris2-pack copied to clipboard
PACK_DIR environment variable being ignored
This command seems to ignore the provided PACK_DIR
value and install in .pack/bin
anyway:
$ PACK_DIR=/home/foxy/desktop/ pack -p nightly-240617 install-app idris2-lsp
Or perhaps PACK_DIR
is not meant to provide local installs in different directories, but only one global install directory at a time?