1 files changed, 2 insertions, 0 deletions

diff --git a/theia b/theia
new file mode 100755
index 000000000000..88c6d9156036
--- /dev/null
+++ b/theia
@@ -0,0 +1,2 @@
+#!/usr/bin/env bash
+exec node /opt/theia/src-gen/backend/main.js --plugins=local-dir:/opt/theia/plugins/ --hostname=127.0.0.1 "$@"