On Sun, Jul 06, 2014 at 01:05:16PM +0200, Cédric Barboiron wrote: > On Thu, 3 Jul 2014 08:59:57 +0200 [..] > Hi Michael, and thanks for your answer. > > The use-case was indeed to disable the bin cache. Your patch is a good > protection against misreading the manual. Btw, I tried with '/dev/null' > only because it is handled differently in configuration.cc, I don't > think it's useful to protect against this. > > For the manpage, I believe changing "their names" and "empty string" > to the actual values would be clear enough (attached patch).
Great, that looks good! Your patch (and the patch to error when cleaning "/") is now part of the debian/sid branch and it will be part of the next upload. Thanks for your help with making the documentation better! Cheers, Michael -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org