Installation de PgAdmin 4 sur Mint pas triviale :
$ wget --quiet -O - https://www.postgresql.org/media/keys/ACCC4CF8.asc | sudo apt-key add -
Ensuite il faut aller ajouter la source deb http://apt.postgresql.org/pub/repos/apt/ bionic-pgdg main
dans Update Manager > Edit > Software sources
On peut alors installer:
sudo apt install pgadmin4
Payant