21 Nov
2018
21 Nov
'18
3:35 p.m.
AMDG On 11/21/2018 08:26 AM, Paul A. Bristow via Boost wrote:
I note with surprise (and alarm) that my Boost-stuff disk partition is nearly full!
Closer inspection reveals that I have a bin.v2 folder of over 50 GB.
Obviously, I need to delete something.
What are the implications of deleting things?
What is the best option?
Should I simply delete the whole folder bin.v2 (I have, in desperation, gone nuclear some time ago)
That's what I do. Anything you actually need will be rebuilt on demand.
or just bin/v2/libs
In Christ, Steven Watanabe