On 26 August 2016 at 18:28, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Also, I'd just as soon not move/rename things that don't really need it.
+1
Let's leave everything exactly as it is now... but put a small README
in each directory to explain why files in it shouldn't be deleted to
make space.
That helps the few people who made such mistakes, but doesn't cause
massive change as a result.
--
Simon Riggs http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services