Skip to content
Snippets Groups Projects
Select Git revision
  • 3f7598d9f956d3c16086e825ea67eca0b0a4a09a
  • master default protected
  • docs-improve_user_path_description
  • fix-pipeline
  • ci-change_exercises_image_registry
  • feat-merge_recorder_in_extension
  • feat-default_folder
  • feat-change_user
  • develop protected
  • refactor-mission
  • feat-exercise_automatic_save
  • docs-improve_documentation
  • feat-create_little_container_for_developer
  • feat-local-dev
  • 0.1.12
  • 0.1.11
  • 0.1.10
  • 0.1.5
18 results

README.md

Blame
    • Dockerfile 177 B 
    FROM theiaide/theia-java:1.3.0

COPY plugins /home/plugins

ENTRYPOINT [ "yarn", "theia", "start", "/home/project", "--hostname=0.0.0.0", "--plugins=local-dir:/home/plugins"]