On Sun, Oct 21, 2012 at 6:20 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Phil Sorber <phil@omniti.com> writes:
>> Here is the new patch. I renamed the utility from pg_ping to pingdb to
>> go along with the naming convention of src/bin/scripts.
>
> Uh, no, that's not a step forward. Leaving out a "pg" prefix from those
> script names is universally agreed to have been a mistake. We've not
> felt that changing the legacy names is worth the amount of pain it'd
> cause, but that doesn't mean that we should propagate the mistake into
> brand new executable names.
>
> regards, tom lane
Ok. I asked about this and got no response so I assume there were no
strong opinions. I have reverted to the pg_ping name. Patches
attached.