Skip to content
Snippets Groups Projects
Select Git revision
  • a4fd5b669305efa2f00bde535fd198c26cad2d65
  • master default protected
  • feat-create_little_container_for_developer
  • feat/pipeline_publish_extension
  • feat-publish_extension_on_marketplace_with_ci
  • feat-log-in
  • feat-connect_uri_handler_with_chosse_workdir_and_connection
  • feat-choose-mission-workdir
  • 10-en-tant-qu-etudiant-je-souhaite-pouvoir-lancer-une-mission-de-type-vscode-desktop-sur-mon-ide
  • new-building-way-recorder
  • fix-commit-any-challenge-type
  • recorder-push-code
  • theia-extension
  • 0.1.2
  • 0.1.1
  • 0.0.6
  • 1.4
  • 1.3
  • 1.2
  • 1.1
20 results

Dockerfile.code

Blame
  • Dockerfile.code 603 B
    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"]