Adminer docker compose dev

[valentinRyckaert]

Summary of changes

• PostgreSQL DB was not accessible by the host in Docker development mode (no binding with host port)
• Added an Adminer instance on port 8080 to facilitate DB management/observations

Motivation and context

• No possibility of having access to the database using Docker in development.

Checklist

• I have read and followed the CONTRIBUTING guide.
• I confirm that I have the authority necessary to make this contribution on behalf of its copyright owner and agree to license it to the TeSS codebase under the BSD license.

[kennethrioja]

Minor comments, else it works on my side! Thanks Valentin, this is very useful!

[kennethrioja]

Remove this line

[kennethrioja]

I would add the link to Adminer https://www.adminer.org/
and add something like 'An Adminer instance to connect to and visualize your local database...'

[kennethrioja]

Add the container name and a specific release tag of adminer, e.g.:

    container_name: ${PREFIX}-adminer
    image: adminer:5.4.2

[kennethrioja]

Suggested change

	- 8080:8080
	- 8080:8080
	depends_on:
	- db

[kennethrioja]

This is one last suggestion I have before merging the PR

[Copilot]

Pull request overview

This PR updates the Docker-based development setup to make local database management easier by adding an Adminer service and documenting how to access it.

Changes:

• Adds an Adminer container to the development docker-compose.yml, exposed on port 8080.
• Documents Adminer access details in docs/docker.md.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 4 comments.

File	Description
docs/docker.md	Adds a short section describing how to access Adminer in dev.
docker-compose.yml	Introduces an adminer service alongside existing dev containers.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.