堆栈将包保存在缓存中多长时间？

Question

我正在使用精益定理证明器,我想构建类似堆栈的功能并开始构建库缓存.我不确定的一件事是何时删除缓存中的旧包.我可以认为,如果我安装了两个版本的Lean,比如3.3.0和3.3.1,我可以争辩保留所有适用于这些版本的软件包的所有版本.由于精益语法移动速度很快,因此限制性很强.

另一方面,我可以看到只保留任何给定包的10个版本.这可能是10个最新版本或10个最近请求的版本.

我很想知道在构建stack和相关工具中考虑的一些想法.

Answer 1

stack将包永远保留在缓存中。或者直到您手动删除这些包。. 中没有实现快照垃圾收集stack。所以你只能手动调用

rm -rf ~/.stack

删除整个堆栈缓存。一般来说，定期删除积累了一段时间的过时软件包是一种很好的做法。.stack/global-project/stack.yaml但如果您手动更改，请务必备份。

stack为您处理缓存删除的命令正在开发中：