On 30/12/2019 18:47, Mike Miller wrote:
On 2019-12-30 06:32, Pádraig Brady wrote:I did consider that, but unfortunately a subsequent line is currently disallowed rather than ignored:Isn't that good? Therefore, no one will be using it for anything else.
Well it would mean per user config would not be backwards compat with older ls
