Re: Fix help option of contrib/oid2name

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 still documented? Or would it be better if it is not documented, mapping silently?
-- 
Michael