1 2 3
#!/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 "$@"