Rahul
Rahul

Reputation: 2769

Remove unused and old targets from drake cache

Over time, I have a lot of older targets in my drake cache (current==FALSE under drake_history()). I've renamed many of my targets over time, so I'm left with targets in drake_history() which are current==TRUE, however they're not in my current drake plan.

Is there a way to clean up the cache to get rid of all older targets (to save space), and also remove any targets (current or otherwise) which are not in my plan?

Rahul

Upvotes: 2

Views: 379

Answers (1)

landau
landau

Reputation: 5841

Yes, drake's cache has garbage collection. To remove old targets and save space, you can call drake_gc() or drake_cache()$gc().

Upvotes: 6

Related Questions