从德雷克缓存中删除未使用的和旧的目标

Question

随着时间的推移，我的 drake 缓存中有很多较旧的目标（current==FALSE 在 drake_history() 下）。随着时间的推移，我已经重命名了我的许多目标，所以我在 drake_history() 中留下了 current==TRUE 中的目标，但是它们不在我当前的 drake plan 中。

有没有办法清理缓存以删除所有旧目标（以保存 space），并删除不在我的 [=14= 中的任何目标（当前或其他） ]?

拉胡尔

Answer 1

是的，drake 的缓存有垃圾收集功能。要删除旧目标并保存 space，您可以调用 drake_gc() 或 drake_cache()$gc()。