37 lines
1.2 KiB
Bash
37 lines
1.2 KiB
Bash
# Python version used in devcontainer image tag (e.g. 3.13).
|
|
PYTHON_BASE=3.13
|
|
|
|
# Image revision for versioned tag: <repo>:<python>-<rev>-devcontainer.
|
|
DEVCONTAINER_IMAGE_REV=0.1
|
|
|
|
# Registry/repository used by docker-compose to pull the devcontainer image.
|
|
DEVCONTAINER_IMAGE_PULL_REPO=docker.masara.eu/python
|
|
|
|
# Registry/repository used by publish script to push the devcontainer image.
|
|
DEVCONTAINER_IMAGE_PUSH_REPO=repo.masara.eu/python
|
|
|
|
# Private PyPI index URL used by pip inside the container.
|
|
PIP_INDEX_URL=https://dv.masara.eu/repository/pypi-group/simple
|
|
|
|
# Allows running pip as root without interactive warning/failure.
|
|
PIP_ROOT_USER_ACTION=ignore
|
|
|
|
# Workspace mount path inside container.
|
|
WORKSPACE_DIR=/workspace
|
|
|
|
# Path to virtual environment created/used by post_create.sh.
|
|
VENV_PATH=/workspace/.venv
|
|
|
|
# Requirements file installed by post_create.sh (if file exists).
|
|
REQUIREMENTS_FILE=/workspace/requirements.txt
|
|
|
|
|
|
# User used by VS Code remote server inside container (e.g. root).
|
|
DEVCONTAINER_RUN_USER=root
|
|
|
|
# UID for app user created in project Dockerfile (non-devcontainer image build).
|
|
APP_USER_ID=1000
|
|
|
|
# Home directory for REMOTE_USER inside container.
|
|
REMOTE_HOME=/root
|