- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在使用精益定理证明器,我想构建类似于堆栈的功能并开始构建库缓存。我不确定的一件事是何时删除缓存中的旧包。我可以认为,如果我安装了两个版本的 Lean,比如 3.3.0 和 3.3.1,我可以主张保留所有适用于这些版本的软件包的所有版本。由于精益语法发展迅速,因此限制性很大。
另一方面,我可以看到任何给定软件包只保留 10 个版本。这可能是最近 10 个版本或最近请求的 10 个版本。
我很想知道在 build 中考虑的一些想法stack
和相关工具。
最佳答案
stack
将包永久保存在缓存中。或者直到您手动删除这些包。 stack
中没有实现快照垃圾收集.所以你唯一能做的就是手动调用
rm -rf ~/.stack
.stack/global-project/stack.yaml
如果您手动更改它。
stack
为您处理缓存删除的命令正在开发中:
关于haskell - 堆栈将包保存在其缓存中多长时间?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46980225/
我有一个独立的 Thread 应用程序。这是一个等待消息的监听器,当消息到达时执行一些操作,其中我必须将消息保存在数据库中。但我遇到了问题,因为如果我运行应用程序并“手动发送消息”,一切都会正常工作,
我有以下php代码: sleep(65); $query = "UPDATE database.table SET XXXXXXX = XXXXXXX - ".$YYYYYY." WHERE
我正在开发一个业余爱好应用程序。它在主布局中使用 webview。单击 webview 内的链接会使用户保持在 webview 内。启动后一切正常,但仍在应用程序内。但是,在手机休眠一段时间后,我重新
我目前运行的应用程序需要最大堆大小为 16GB。 目前我使用以下标志来处理垃圾回收。 -XX\:+UseParNewGC, -XX\:+UseConcMarkSweepGC, -XX:CMSIniti
$ uname -a Darwin Wheelie-Cyberman 10.8.0 Darwin Kernel Version 10.8.0: Tue Jun 7 16:33:36 PDT 2011
在 while 循环仍在休眠时退出它的最简单方法是什么?是否有某种函数可以在 sleep 时检测某个值是否为真? 或者我是否在循环中设置一个小 sleep 并检查如果不再睡一会儿就退出?如果可以,我该
我正在 Ubunu 的 Jetty 6 上运行 Java Web 服务器,用于基于反向 ajax 的 Web。而且我在向浏览器重新发送数据的线程滞后方面遇到了严重的问题。很多时候,一些线程开始 hib
当我运行长时间操作时,我遇到来自 IIS 的请求超时。我的 ASP.NET 应用程序正在后台处理数据,但处理的记录数量很大,因此操作需要很长时间。 但是,我认为 IIS 使 session 超时。这是
我不确定从哪里开始解决这个问题,但如果我有一个 AJAX 网络应用程序向服务器发送请求并在数据库(在我的例子中是 postgresql)上运行长查询,有没有办法停止或如果仍在运行时用户刷新页面或关闭
我是一名优秀的程序员,十分优秀!