I wrote:
> On testing that in HEAD, I read
> Both the system-wide startup file and the user's personal startup file
> can be made psql-version-specific by appending a dash and the
> PostgreSQL major or minor release number to the file name, for example
> ~/.psqlrc-16 or ~/.psqlrc-16devel.
> That's a little confusing but it's actually accurate, because what
> process_psqlrc_file appends is the string PG_VERSION, so in a devel
> branch or beta release there's a non-numeric "minor release".
> I'm inclined to go ahead and do it like that.
I decided that what I found jarring about that was the use of "release
number" with a non-numeric version, so I changed it to "release
identifier" and pushed.
regards, tom lane