From 815d977d4851f3cfbe68254fd38b001f85b08d87 Mon Sep 17 00:00:00 2001 From: Young Joon Lee Date: Mon, 21 Aug 2023 12:22:49 +0900 Subject: [PATCH] feat(docker): add docker.release.env configuration file --- .docker/docker.release.env | 40 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 .docker/docker.release.env diff --git a/.docker/docker.release.env b/.docker/docker.release.env new file mode 100644 index 0000000..2e23256 --- /dev/null +++ b/.docker/docker.release.env @@ -0,0 +1,40 @@ +######################################################### +# Configuration parameters for the docker project # +# Change the variables below to your need: # +######################################################### +APP_NAME="hyperfast-docker" # The name of the project +APP_VARIANT="base" # The variant of the project +APP_PROJECT_ROOT="/workspace/projects" # The directory in the container where the project will be installed or cloned +APP_CUDA_DEVICE_ID="0" # The ID of the CUDA device to use +APP_HOST_SSH_PORT="2020" # The SSH port on the host machine to be mapped to the container's SSH port +APP_HOST_WEB_SVC_PORT="18880" # The Web service port on the host machine to be mapped to the container's Web service port + +####################################################################################### +# Please do not make any changes below this line if you don't know what you are doing # +# change the variables above to your need # +####################################################################################### +# docker build: Configuration parameters for building the Docker image +DOCKER_NAME=${APP_NAME:-"hyperfast-docker"} # The base name of the Docker image. If not set, "sd-webui" will be used. +VERSION=${APP_VERSION:-"1.0.0"} # The version of the Docker image. If not set, "v1.2.0" will be used. +VARIANT=${APP_VARIANT:-"base"} # The variant of the Docker image. If not set, "runtime" will be used. +USERNAME=${USERNAME:-"$(whoami)"} # The username in the Docker container. If not set, the current user's username will be used. +DOCKER_USERNAME=${DOCKER_USERNAME:-"$(whoami)"} # The username for Docker. If not set, the current user's username will be used. +USER_UID=${USER_UID:-"$(id -u)"} # The user ID in the Docker container. If not set, the current user's ID will be used. +USER_GID=${USER_GID:-"$(id -g)"} # The group ID in the Docker container. If not set, the current user's group ID will be used. +SYSTEM_HOSTNAME=${SYSTEM_HOSTNAME:-"$(hostname)"} # The hostname of the Docker container. If not set, the system's hostname will be used. + +IMAGE_TAG="${VERSION}-${VARIANT}" # The tag of the Docker image +IMAGE_NAME="ghcr.io/${DOCKER_USERNAME}/${DOCKER_NAME}:${IMAGE_TAG}" # The full name of the Docker image +BUILD_FROM="mcr.microsoft.com/devcontainers/python:3.9" # The base image for the Docker build + +WORKSPACE_ROOT="/home/${USERNAME}/workspace" # The workspace directory on the host machine +CONTAINER_WORKSPACE_ROOT="/workspace" # The workspace directory in the Docker container +CONTAINER_HOSTNAME="${DOCKER_NAME}-${SYSTEM_HOSTNAME}" # The hostname of the Docker container + +# docker run: Configuration parameters for running the Docker container +DOCKER_NETWORK_NAME="${DOCKER_NAME}-network" # The name of the Docker network +CUDA_DEVICE_ID=${APP_CUDA_DEVICE_ID} # The ID of the CUDA device to use. If not set, device 0 will be used. +SSH_PORT="22" # The SSH port in the Docker container +HOST_SSH_PORT=${APP_HOST_SSH_PORT} # The SSH port on the host machine to be mapped to the container's SSH port. If not set, port 2722 will be used. +WEB_SVC_PORT="8000" # The Web service port in the Docker container +HOST_WEB_SVC_PORT=${APP_HOST_WEB_SVC_PORT} # The Web service port on the host machine to be mapped to the container's Web service port. If not set, port 18860 will be used.