#!/usr/bin/env bash
cd /opt/theia
exec node /opt/theia/src-gen/backend/main.js --plugins=local-dir:/opt/theia/plugins/ --hostname=127.0.0.1 "$@"