Files
CoqDecks/develop.yml
T
2021-11-28 16:21:58 +00:00

43 lines
1.6 KiB
YAML

# This is a docker compose file for running development tools (building, dev server) in containers.
# It is designed to mount this development environment directly and work over it.
# If you want to run a static build and development deployment, see docker-compose.yml instead.
# If you want to do a production deployment, see the deployment folder instead.
# Generally you would want to run this via the `npm run` scripts in the relevant package.json files for the projects.
# Running this directly will require setting environment variables:
# USER_ID: The id of the user running this (used so files created in the containers have the right permissions.)
# GROUP_ID: The id of the group of the user running this (used so files created in the containers have the right permissions.)
# ROOT_DIR: The root directory of the massive decks repository you are working in (work around docker compose issues).
# This requires a "${ROOT_DIR}/workaround" empty directory that should stay empty. This is to work around a docker compose issue.
version: "3.9"
networks:
internal:
services:
client:
build:
context: "${ROOT_DIR?err}/workaround"
dockerfile: "../client/Dockerfile.dev"
user: "${USER_ID:?err}:${GROUP_ID:?err}"
tty: true
ports:
- "127.0.0.1:8080:8080/tcp"
volumes:
- ${ROOT_DIR?err}/client:/md/client
networks:
- internal
server:
build:
context: "${ROOT_DIR?err}/workaround"
dockerfile: "../server/Dockerfile.dev"
user: "${USER_ID:?err}:${GROUP_ID:?err}"
tty: true
volumes:
- ${ROOT_DIR?err}/server:/md/server
networks:
- internal