Zowe Explorer in Theia

start.sh

#!/bin/bash
set -e

if [ ! -d theia-plugins ]; then
  GH_RELEASE_JSON=`curl -s https://api.github.com/repos/zowe/vscode-extension-for-zowe/releases/latest`
  ZOWE_EXPLORER_VER=`node -e "console.log($GH_RELEASE_JSON.tag_name.slice(1))"`

  mkdir -p theia-plugins && cd theia-plugins
  curl -LOJ https://github.com/zowe/vscode-extension-for-zowe/releases/download/v$ZOWE_EXPLORER_VER/vscode-extension-for-zowe-v$ZOWE_EXPLORER_VER.vsix
  cd ..
fi

stop() {
  echo "Stopping Theia..."
  docker stop theia
  exit
}
trap stop SIGINT

echo "Starting Theia..."
docker run --rm --name theia -p 3000:3000 -e "THEIA_DEFAULT_PLUGINS=local-dir:///home/project/theia-plugins" -v "/$(pwd):/home/project:cached" theiaide/theia