wip

2021-06-14 12:52:48 +02:00
parent 743e874c59
commit 97cd91a020
40 changed files with 830 additions and 635 deletions
@@ -5,15 +5,6 @@ services:
    build:
      args:
      - DOCKER_BUILD_DIR=docker/theia
-      - DOCKER_GID=${DOCKER_GID}
-      - GIT_AUTHOR_NAME=${GIT_AUTHOR_NAME}
-      - GIT_AUTHOR_EMAIL=${GIT_AUTHOR_EMAIL}
-      - SSH_BASTION_USERNAME=${SSH_BASTION_USERNAME}
-      - SSH_BASTION_HOSTNAME=${SSH_BASTION_HOSTNAME}
-      - SSH_PUBLIC_HOST_KEYS=${SSH_PUBLIC_HOST_KEYS}
-      - SSH_PRIVATE_IP_RANGE=${SSH_PRIVATE_IP_RANGE}
-      - UID=${UID}
-      - USER=${USER}
      context: ../..
      dockerfile: docker/theia/Dockerfile
      target: ${DOCKER_BUILD_TARGET}