Re: postgresql-10.3 on unbuntu-17.10 - how??

On 03/20/2018 02:19 PM, Christoph Berg wrote:
> Re: Adrian Klaver 2018-03-20 <4c40e7c5-efa7-00d7-b891-acc9c1ec75b0(at)aklaver(dot)com>
>>> However I need to upgrade to 10.3 and the normal "apt update;
>>> apt upgrade" does not offer 10.3. Also, doing a fresh install
>>> still installs 10.1.
>>
>> https://wiki.postgresql.org/wiki/Apt
>> "2018-01-17: Ubuntu zesty (17.04) is unsupported now, Ubuntu removed it from
>> their mirrors "
>>
>>> Is Pgdg 10.3 even available for ubuntu 17.10? How the heck does
>>> one upgrade to it?
>>
>> 18.04 LTS (Bionic Beaver)?:
>>
>> http://apt.postgresql.org/pub/repos/apt/dists/bionic-pgdg/
>
> Ack. We skipped 17.10 and went straight to supporting the upcoming
> 18.04 (you can already install it). Sorry, there's only 24h a day :(
>
> Christoph

Thank you Christoph and Adrian.
I changed the apt source to
deb http://apt.postgresql.org/pub/repos/apt/ bionic-pgdg main

Then (transcripts edited for brevity)...
# apt-get dist-update
...
# apt-get dist-upgrade
The following packages will be REMOVED:
pgadmin3
The following packages will be upgraded:
pgadmin3-data postgresql postgresql-client postgresql-client-common
postgresql-common postgresql-contrib postgresql-doc postgresql-doc-10
postgresql-server-dev-10
9 upgraded, 0 newly installed, 1 to remove and 0 not upgraded.

after completing the update and rebooting:

$ psql --version
psql (PostgreSQL) 10.1
$ psql -c 'select version()'
PostgreSQL 10.1 on x86_64-pc-linux-gnu, compiled by gcc (Ubuntu 6.3.0-12ubuntu2) 6.3.0 20170406, 64-bit

Likely I am missing something obvious due to my newness with Ubuntu,
but isn't the above supposed to work? 10.3 is a minor upgrade, yes?