Skip to content

Instantly share code, notes, and snippets.

@monodot
Last active March 6, 2020 12:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save monodot/fc8816d9b13e1e76c5244c5b970bc59b to your computer and use it in GitHub Desktop.
Save monodot/fc8816d9b13e1e76c5244c5b970bc59b to your computer and use it in GitHub Desktop.
Theia Editor plugin definition for Eclipse Che (using quay.io as the image source)
version: 1.0.0-quayio
type: Che Editor
name: theia-ide
id: org.eclipse.che.editor.theia
title: Eclipse Theia for Eclipse Che
description: Eclipse Theia
icon: https://pbs.twimg.com/profile_images/929088242456190976/xjkS2L-0_400x400.jpg
endpoints:
- name: "theia"
public: true
targetPort: 3100
attributes:
protocol: http
type: ide
secure: true
cookiesAuthEnabled: true
discoverable: false
- name: "theia-dev"
public: true
targetPort: 3130
attributes:
protocol: http
type: ide-dev
discoverable: false
- name: "theia-redirect-1"
public: true
targetPort: 13131
attributes:
protocol: http
discoverable: false
- name: "theia-redirect-2"
public: true
targetPort: 13132
attributes:
protocol: http
discoverable: false
- name: "theia-redirect-3"
public: true
targetPort: 13133
attributes:
protocol: http
discoverable: false
containers:
- name: theia-ide
image: docker.io/eclipse/che-theia@sha256:be2f2df6178dcc2598453c7bf9dc878c06e4830f9c948f5ea5c2fcb0140bb5f0
env:
- name: THEIA_PLUGINS
value: local-dir:///plugins
- name: HOSTED_PLUGIN_HOSTNAME
value: 0.0.0.0
- name: HOSTED_PLUGIN_PORT
value: 3130
volumes:
- mountPath: "/plugins"
name: plugins
- mountPath: "/projects"
name: projects
ports:
- exposedPort: 3100
- exposedPort: 3130
- exposedPort: 13131
- exposedPort: 13132
- exposedPort: 13133
memory-limit: "1536M"
memoryLimit: "1536M"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment