It is pretty common to use dune cache trim to completely remove the cache. The right invocation is dune cache trim --size 0B but it requires finding about --size vs --trimmed-size, adding a B suffix, etc.
I suggest adding a dedicated way to do that. Either dune cache trim --all, or dune cache clear, to be determined.
It is pretty common to use
dune cache trimto completely remove the cache. The right invocation isdune cache trim --size 0Bbut it requires finding about--sizevs--trimmed-size, adding aBsuffix, etc.I suggest adding a dedicated way to do that. Either
dune cache trim --all, ordune cache clear, to be determined.