Subject: [boost] Help - my disk is full! (of bin.v2 stuff)
From: Paul A. Bristow (pbristow_at_[hidden])
Date: 2018-11-21 15:26:08
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)
or just bin/v2/libs
Expert advice welcome.
--- Paul A. Bristow Prizet Farmhouse Kendal UK LA8 8AB +44 (0) 1539 561830
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk