On 26/06/2018 18:43, Markus Armbruster wrote: >>> Not sure how serious you meant that, but I actually quite like the >>> idea :) >> Also, this mode could be enabled by default if stderr is a tty. > It could be enabled by default, period.
I agree, summarizing the configuration to stderr on startup is a good idea and it shouldn't be a problem for backwards compatibility. Doing it only if it is a tty could be a good idea though, at least initially. Paolo
