diff options
author | Pierre Carru | 2019-06-20 18:03:35 +0200 |
---|---|---|
committer | Pierre Carru | 2019-06-20 18:05:16 +0200 |
commit | 6bd6ba902294fef41beea8360f9e5924d9702e07 (patch) | |
tree | f78b3e3557f992f89e75d8551d48de25e1f884d5 /theia | |
parent | df75fa88cb99d8332fa40ced5b243d37ec04ec3e (diff) | |
download | aur-6bd6ba902294fef41beea8360f9e5924d9702e07.tar.gz |
go and python vscode extensions
Diffstat (limited to 'theia')
-rwxr-xr-x | theia | 2 |
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 "$@" |