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 #105 from johnjelinek/patch-1

Browse Source 
Add OpenJDK8 SDK
This commit is contained in:
Nick Richards
2019-09-18 15:52:05 +01:00
committed by GitHub
parent 34d069c959 adb3f5da0a
commit 7d953d1e2d
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
@@ -21,5 +21,9 @@ if [[ -d /usr/lib/sdk/php73 ]]; then
. /usr/lib/sdk/php73/enable.sh . /usr/lib/sdk/php73/enable.sh
fi fi
if [[ -d /usr/lib/sdk/openjdk8 ]]; then
. /usr/lib/sdk/openjdk8/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}