Issues
- 2
Temporary directories not cleaned
#288 opened by joelberkeley - 1
Official Way To Automatically Uninstall
#294 opened by jgarte - 0
[ completion ] Shell completion suggests options after commands, which is not supported
#300 opened by buzden - 2
[feature request] support `latest` switch for option -p
#296 opened by ohad - 2
[feature request] make <pkg or .ipkg> optional
#297 opened by isberg - 0
[ safety ] Treat extra args in configs a bit smarter
#271 opened by buzden - 5
- 14
- 1
- 4
[ cache ] Pack caches removed modules
#242 opened by buzden - 6
Add --cg flag to build command
#244 opened by ccfontes - 0
[ ux ] `pack gc` should exclude compiler from the global config in the presence of local one
#246 opened by buzden - 3
Failing to import app module from within test.
#252 opened by thomasdziedzic - 1
`pack gc` fails to clear temporary storage
#253 opened by AlgebraicWolf - 5
What `packagePath` boolean field is for?
#256 opened by Russoul - 1
Include c compiler as requierement
#259 opened by GunpowderGuy - 1
[ ux ] Incomprehensible error message when locally installed app is run from another context
#260 opened by buzden - 1
[feature] Allow passing extra options to `idris2` executable from `pack` command line
#269 opened by 0xd34df00d - 2
Manage/use local build of Idris2?
#274 opened by sebeaumont - 6
GMP not found on Mac M1 for `pack switch HEAD`
#283 opened by joelberkeley - 2
Feature request: custom installation directories
#284 opened by foxyseta - 4
FC38, FC39 with racket 7.9 — ./bootstrap-stage1-racket.sh freezes on compilation
#286 opened by belonesox - 2
[ Feature Request ] Windows support
#236 opened by j-nava - 3
[ ux ] Pack's caching happens in undesired moments
#235 opened by buzden - 3
- 6
Support builds without network access
#273 opened by jalil-salame - 0
Parallel runs of `pack` instances are not synronised and can lead to inconsistent state
#278 opened by buzden - 3
Proper way to upgrade Idris2?
#272 opened by mars0i - 1
- 0
- 16
`pack install` doesn't run `postinstall`
#248 opened by joelberkeley - 5
PACK_DIR environment variable being ignored
#292 opened by foxyseta - 2
install script cannot work under CI
#251 opened by dannypsnl - 4
Clarity -- required
#238 opened by funarog - 1
[ feature request ] Print progress in long operations, like caching during `pack info`
#227 opened by buzden - 3
- 3
Fatal error at installation when executing "pack info": Server does not allow request for unadvertised object
#229 opened by ClHg2 - 8
[ feature request ] `pack` should detect that local build uses outdated compiler
#167 opened by buzden - 5
Support other code forges, or at least generic Git
#222 opened by toastal - 10
Support local versions of the Idris compiler
#220 opened by Z-snails - 6
- 5
[ regression ] Fatal error after `pack switch HEAD`
#205 opened by buzden - 3
[ feature request ] Support a command for removing builds from unused collections
#190 opened by buzden - 6
[ feature request ] An ability for `pack.toml` to say that it is not the top-level one
#185 opened by buzden - 4
[ feature request ] Add an ability to pass additional options to `rlwrap` when `pack repl`
#189 opened by buzden - 3
[ feature request ] Add an ability to specify particular list of packages for which there is no need for safety prompt
#177 opened by buzden - 0
- 2
- 1
[ regression ] In case of errors, environment is printed together with failing command
#172 opened by stefan-hoeck - 7
Update PATH during install
#170 opened by joelberkeley