waveterm/dev.commandline.waveterm
0
0
Fork 0
mirror of https://github.com/wavetermdev/dev.commandline.waveterm.git synced 2026-08-05 13:46:53 -07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #81 from FakeShemp/master

Browse Source 
Enable the use of node.js 10 SDK extension
This commit is contained in:
Nick Richards
2019-05-29 21:22:28 +01:00
committed by GitHub
parent afbab07478 7f42b6cace
commit cad63ada4a
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
code.sh
+4
View File
@@ -13,5 +13,9 @@ if [[ -d /usr/lib/sdk/dotnet ]]; then
. /usr/lib/sdk/dotnet/enable.sh . /usr/lib/sdk/dotnet/enable.sh
fi fi
if [[ -d /usr/lib/sdk/node10 ]]; then
. /usr/lib/sdk/node10/enable.sh
fi
exec env PATH="${PATH}:${XDG_DATA_HOME}/node_modules/bin" \ exec env PATH="${PATH}:${XDG_DATA_HOME}/node_modules/bin" \
/app/extra/vscode/bin/code --extensions-dir=${XDG_DATA_HOME}/vscode/extensions "$@" ${WARNING_FILE} /app/extra/vscode/bin/code --extensions-dir=${XDG_DATA_HOME}/vscode/extensions "$@" ${WARNING_FILE}