pgAdmin4 on Docker - exporting and importing Servers

Export:

get container id:
docker ps

dump server list:
docker exec -it {container id} python setup.py --dump-servers servers.json --user {user}

get server list:
docker cp {container id}:/pgadmin4/servers.json servers.json

Import:

launch pgadmin:
docker run -p 801:80 --name pgadmin \
-e "PGADMIN_DEFAULT_EMAIL={user}" \
-e "PGADMIN_DEFAULT_PASSWORD={pass}" \
-d dpage/pgadmin4

get container id:
docker ps

copy server list into container:
docker cp {container id}:/tmp/servers.json

import server list:
docker exec -it {container id} python setup.py --load-servers servers.json --user {user}

source: https://www.pgadmin.org/docs/pgadmin4/latest/import_export_servers.html