Code

DEV-331: add plugins to Theia#52

Code

Draft

ethho wants to merge 9 commits intomasterdatajoint/djlabhub-docker:masterfrom feat/try-theiadatajoint/djlabhub-docker:feat/try-theiaCopy head branch name to clipboard

+85-3

Commits

Commits on Jul 12, 2024

• First pass at theia installation

  Show description for e7316e6
  ethho

  committed
  e7316e6

• Docker build working

  ethho

  committed
  6ddcec7

Commits on Jul 15, 2024

• Add theia demo as separate service

  ethho

  committed
  1555f77

Commits on Jul 16, 2024

• theia service returning 500

  ethho

  committed
  4df6571

• Theia IDE working with WORKDIR /tmp/theia

  ethho

  committed
  8bf28e2

• Skip repo clone for service theia

  ethho

  committed
  aba5479

• Clean up docker build

  ethho

  committed
  a3222a6

Commits on Jul 28, 2024

• Extensions working in Theia

  ethho

  committed
  4557de9

Commits on Jul 29, 2024

• Fix plugin names

  ethho

  committed
  bc6c282