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?
--
Michael
