they should look similar to gitpod config file in Theia repo

.gitpod.yml template: <div class="highlight highlight-source-yaml notranslate posi

generate gitpod config files about generator-theia-extension HOT 2 OPEN

eclipse-theia commented on June 15, 2024

generate gitpod config files

from generator-theia-extension.

Comments (2)

akosyakov commented on June 15, 2024

.gitpod.yml template:

image:
  file: .gitpod.dockerfile
tasks:
  - init: yarn
    command: |
      gp sync-done init
      yarn --cwd {{extensionName}} watch
  - command: |
      gp sync-await init
      yarn --cwd browser-app watch
    name: Watch browser-app
    openMode: split-right
  - command: |
      gp sync-await init
      yarn --cwd browser-app start ..
    name: Run browser-app
    openMode: tab-after
ports:
  - port: 3000 # expose Theia port
  - port: 6080 # ignore VNC port
    onOpen: ignore
  - port: 5900 # ignore VNC port
    onOpen: ignore
github:
  prebuilds:
    branches: true

.gitpod.dockerfile (take up to date from Theia repo)

FROM gitpod/workspace-full-vnc:latest

USER root
# Install custom tools, runtime, etc.
RUN apt-get update \
    # window manager
    && apt-get install -y jwm \
    # electron
    && apt-get install -y libgtk-3-0 libnss3 libasound2 \
    # native-keymap
    && apt-get install -y libx11-dev libxkbfile-dev \
    && apt-get clean && rm -rf /var/cache/apt/* && rm -rf /var/lib/apt/lists/* && rm -rf /tmp/*

USER gitpod
# Apply user-specific settings
RUN bash -c ". .nvm/nvm.sh \
    && nvm install 10 \
    && nvm use 10 \
    && npm install -g yarn"

# Give back control
USER root