Re: Fix help option of contrib/oid2name

Michael Paquier <michael@paquier.xyz> writes:
> On August 17, 2018 10:53:48 PM GMT+09:00, Tom Lane <tgl@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
stilldocumented? 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