build dev 2020 DockerImages

deployment/dev_theia/Dockerfile

@@ -0,0 +1,5 @@
+from theiaide/theia-python:latest
+run apt-get update && apt-get -y install libgs-dev
+COPY ./requirements.txt .
+run pip3 install --upgrade pip && pip3 install -r requirements.txt && pip3 install pytest pylint bandit flake8 black pytest-django six pytest-mock
+ENTRYPOINT node /home/theia/src-gen/backend/main.js /home/project/.theia-workspace --hostname=0.0.0.0

deployment/dev_theia/build_and_push

@@ -0,0 +1,3 @@
+cp ../../fet2020/requirements.txt .
+docker build . -t  docker.triton2.fet.at/theia-fet2020:latest
+docker image push docker.triton2.fet.at/theia-fet2020:latest

deployment/dev_theia/requirements.txt

@@ -0,0 +1,16 @@
+django==3.1.4
+django-ckeditor==6.0.0
+django-crontab==0.7.1
+django-environ==0.4.5
+django-filter==2.4.0
+django-static-jquery-ui==1.12.1.1
+django-softhyphen==1.1.0
+django-taggit==1.3.0
+djangorestframework==3.12.2
+configparser==5.0.1
+docutils==0.16
+easy-thumbnails==2.7.1
+etherpad-lite==0.5
+ghostscript==0.6
+ldap3==2.8.1
+mysqlclient==2.0.1