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