idris2-pack
idris2-pack copied to clipboard
stefan-hoeck
I don't know if this has a good solution, but anyway this is a user experience report. Since recent changes `pack` caches almost on every operation and usually it prints...
Looks like pack's not tidying temporary directories. I often Ctrl+C mid-install, might be the cause ``` $ ls .pack/ bin/ db/ .tmp0/ .tmp10/ .tmp12/ .tmp14/ .tmp16/ .tmp18/ .tmp2/ .tmp21/ .tmp4/...
Local `pack.toml`s are very useful in setting desired requirements, especially when something non-standard needs to be reproducible, say when we ship a repository to, say, a customer. But sometimes we...
This command seems to ignore the provided `PACK_DIR` value and install in `.pack/bin` anyway: ```bash $ PACK_DIR=/home/foxy/desktop/ pack -p nightly-240617 install-app idris2-lsp ``` Or perhaps `PACK_DIR` is not meant to...
There are cases where updating will fail because versions differ too much between the installed version and the latest version. In those cases the compiler needs to be bootstraped, but...
This PR enables the removal of temporary directories that used to linger after a mid-install Ctrl+C. To accomplish this, the [idris2-async](https://github.com/stefan-hoeck/idris2-async) library is utilized to race two threads within the...
Currently the design decision is that all options must go before the command name. But since shell completion script uses only the current and the previous words, it cannot tell...
We can currently specify specific package collections using the `-p` option to `pack`. It would be nice to also support `latest` and `fetch-latest` as options, as we do for `pack.toml`...
so, in purescript land we publish packages to pursuit using https://github.com/purescript/spago/ 1. I increment version in spago.yaml using vim 2. `spago publish` 3. it checks tests 4. it `git tag...
