Skip to content

Instantly share code, notes, and snippets.

@pbugnion
Last active June 19, 2019 19:58
Show Gist options
  • Save pbugnion/234cc919b79c4091f791517f40e701ac to your computer and use it in GitHub Desktop.
Save pbugnion/234cc919b79c4091f791517f40e701ac to your computer and use it in GitHub Desktop.
Installing theia-ide on SherlockML

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.

#!/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
{
"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"
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment