Installing theia-ide on SherlockML

01-install-theia-on-sherlockml.md

Installing Theia on SherlockML

Theia is an IDE that emulates VS code, but with a browser client-server model, rather than a native app. This makes it a natural fit for SherlockML.

install-theia.sh

#!/bin/bash

export ROOT=/tmp/theia-install
export NVM_DIR=$ROOT/nvm
export THEIA_DIR=$ROOT/theia

sudo apt-get update
sudo apt install -y build-essential libssl-dev

mkdir -p $ROOT $NVM_DIR $THEIA_DIR
cd $ROOT

curl -sL https://raw.githubusercontent.com/creationix/nvm/v0.31.0/install.sh -o install_nvm.sh

bash install_nvm.sh

. $NVM_DIR/nvm.sh

nvm install 8
nvm use 8
npm install -g yarn

cd $THEIA_DIR

curl -sL https://gist.githubusercontent.com/pbugnion/234cc919b79c4091f791517f40e701ac/raw/package.json > package.json

yarn install --network-timeout 1000000
yarn theia build
/opt/anaconda/envs/Python3/bin/pip install python-language-server yapf

sudo sv stop jupyter
THEIA_APP_PROJECT_PATH=/project yarn theia start --hostname 0.0.0.0 --port 8888

package.json

{
  "private": true,
  "dependencies": {
    "typescript": "latest",
    "@theia/typescript": "0.3.17",
    "@theia/python": "0.3.17",
    "@theia/navigator": "0.3.17",
    "@theia/terminal": "0.3.17",
    "@theia/outline-view": "0.3.17",
    "@theia/preferences": "0.3.17",
    "@theia/messages": "0.3.17",
    "@theia/git": "0.3.17",
    "@theia/file-search": "0.3.17",
    "@theia/markers": "0.3.17",
    "@theia/preview": "0.3.17",
    "@theia/callhierarchy": "0.3.17",
    "@theia/merge-conflicts": "0.3.17",
    "@theia/search-in-workspace": "0.3.17",
    "@theia/json": "0.3.17",
    "@theia/textmate-grammars": "0.3.17",
    "@theia/mini-browser": "0.3.17"
  },
  "devDependencies": {
    "@theia/cli": "0.3.16"
  }
}