Subject: Re: [boost] Help - my disk is full! (of bin.v2 stuff)
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2018-11-21 15:35:19
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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk