Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
> On 12/8/17 10:19, Tom Lane wrote:
>> Meh. I never thought that the "help" business was particularly well
>> thought out, and this proposal isn't better.
> The perhaps the fix is to revert the "help" thing?
No, my problem with it is that there are lots of contexts where typing
"help" won't produce anything. Robert's proposal downthread would
go a long way towards fixing that.
regards, tom lane
