Michael Paquier <mich...@paquier.xyz> writes:
> On August 17, 2018 10:53:48 PM GMT+09:00, Tom Lane <t...@sss.pgh.pa.us> wrote:
>> Well, we can't remove the -H option, for that reason. But I think
>> we could get away with repurposing -h to also mean "--host", rather
>> than "--help" as it is now. Seems unlikely that any scripts are
>> depending on it to mean --help, nor are users likely to expect that
>> when none of our other programs treat it that way.
> Yeah, I don't see much point in mapping -h to --help. Let's map silently -H
> to --host then. Would you prefer if -H is still documented? Or would it be
> better if it is not documented, mapping silently?
I think it probably needs to stay documented, but we could mark it as
deprecated ...
regards, tom lane
