diff --git a/docker/scripts/environment.sh b/docker/scripts/environment.sh index e9812be..fdcc9d9 100755 --- a/docker/scripts/environment.sh +++ b/docker/scripts/environment.sh @@ -6,6 +6,7 @@ DESKTOP_ENVIRONMENT_CONTAINER_NAME=${DESKTOP_ENVIRONMENT_CONTAINER_NAME-$DESKTOP DESKTOP_ENVIRONMENT_GITHUB_TOKEN=${DESKTOP_ENVIRONMENT_GITHUB_TOKEN-} DESKTOP_ENVIRONMENT_GITHUB_USER=$(git --git-dir $REPO_ROOT/.git remote get-url origin | sed -E 's;.*github.com.(.*)/.*;\1;' | tr A-Z a-z) DESKTOP_ENVIRONMENT_REGISTRY=${DESKTOP_ENVIRONMENT_REGISTRY-$DESKTOP_ENVIRONMENT_GITHUB_USER} +DESKTOP_ENVIRONMENT_TTY=${DESKTOP_ENVIRONMENT_TTY-3} # Desktop environment repository information echo export DESKTOP_ENVIRONMENT_CONTAINER_IMAGE=$DESKTOP_ENVIRONMENT_CONTAINER_IMAGE diff --git a/docker/scripts/start.sh b/docker/scripts/start.sh index d57f030..9ee053a 100755 --- a/docker/scripts/start.sh +++ b/docker/scripts/start.sh @@ -21,6 +21,7 @@ docker run \ --device /dev/tty3 \ --device /dev/video0 \ --env DESKTOP_ENVIRONMENT_GITHUB_TOKEN \ + --env DESKTOP_ENVIRONMENT_TTY \ --env DESKTOP_ENVIRONMENT_USER \ --group-add audio \ --group-add docker \