Re: Docker container - servers.json

Actually, the issue was me not reading the fine print that the servers.json is only used when the volume is created, and not subsequently. I did a docker prune of all the volumes and re-ran my setup and the servers.json was in fact used.

As to your comment about the Dockerfile, I am using it and it does default to putting the file in /pgadmin4.

On Wed, Nov 3, 2021 at 4:29 AM Dave Page <dpage@pgadmin.org> wrote:

Hi

On Tue, Nov 2, 2021 at 7:09 PM Ashish Chandra <ashish.cppdev@gmail.com> wrote:

Hi,

According to https://www.pgadmin.org/docs/pgadmin4/development/container_deployment.html having a files servers.json in the /pgadmin4 folder should enable server info to be pre-loaded into pgadmin4 when it launches.

However, I am unable to see any impact from having this file. Here are the docker logs from the container:

...

 

Here is my Dockerfile:

FROM dpage/pgadmin4:latest

EXPOSE 80

COPY --chown=pgadmin:pgadmin servers.json .

Won't that copy servers.json into /, not /pgadmin4/?

In any case, this seems like an odd way to do this - any reason not to just map the file as Aditya suggested? I suppose if you're distributing the container to others it might make sense.

--

Dave Page
Blog: https://pgsnake.blogspot.com
Twitter: @pgsnake

EDB: https://www.enterprisedb.com