On 3/21/2019 3:13 AM, Erik Auerswald wrote:
> More general, table headers are useful for interactive use, but often need
> to be ignored when the tool output is used programmatically.
----
    I've noticed this as well -- maybe it would be smartest in addition to
any other tool changes to have the default for interactive use, include
headers,
..and have the the default for programmatic use set to suppress headers.

Of course you would like argue about hazards of changing defaults, and I
would
tend to agree -- and say it is something that could be set as a toggleable
default in a tool-config file.

    The problem with my suggesting a config file as a separate feature
apart from everything else is that it's utility cannot be justified by
itself.  It is in cases where you want to change default behaviors that
a environmental config
facility shows its worth.

Reply via email to