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 ... -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services