Re: Sv: Re: How to get shorter SERVER_VERSION in psql-prompt?

On 09/03/2018 03:42 PM, Alvaro Herrera wrote:
> On 2018-Sep-03, Andreas Joseph Krogh wrote:
>
>> select setting as server_version from pg_settings where name =
>> 'server_version';
>>   ┌──────────────────────────────────┐
>>   │          server_version          │
>>   ├──────────────────────────────────┤
>>   │ 10.5 (Ubuntu 10.5-1.pgdg18.04+1) │
>>   └──────────────────────────────────┘
> Ugh.  (So this is coming from "configure --with-extra-version" stuff)
>
> I guess you could just split it out at the first whitespace ...
>
Does that also diddle the value of "server_version_num"?