FROM registry.e-biz.fr/deadlock-public/theia:1.22.1-java

USER root

RUN apt update
RUN apt upgrade -y
RUN apt install rsync -y
RUN apt install vim -y

COPY plugins /home/plugins
COPY default/.theia/ /home/theia/.theia/
RUN chown theia /home/theia/.theia -R
RUN chown theia /home/plugins -R

COPY server.js /home/theia/src-gen/backend/server.js

COPY recorder-out/ deadlock/
COPY .gitignore_recorder deadlock/.gitignore

COPY setup_trace.py .
RUN chmod 700 setup_trace.py
RUN chown theia setup_trace.py

COPY start.sh .
RUN chmod 504 deadlock/ -R
RUN chmod 500 start.sh

ENTRYPOINT ["bash", "start.sh"]