waveterm/dev.commandline.waveterm
0
0
Fork 0
mirror of https://github.com/wavetermdev/dev.commandline.waveterm.git synced 2026-04-22 15:27:29 -07:00
Code Issues Packages Projects Releases Wiki Activity

Enable Mono 5 SDK

Browse Source
This commit is contained in:
Rebecca Wallander
2019-11-17 15:22:42 +01:00
committed by eszlari
parent 6911db15e5
commit f8303d5a60
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
@@ -25,5 +25,9 @@ if [[ -d /usr/lib/sdk/openjdk8 ]]; then
. /usr/lib/sdk/openjdk8/enable.sh
fi
if [[ -d /usr/lib/sdk/mono5 ]]; then
. /usr/lib/sdk/mono5/enable.sh
fi
exec env PATH="${PATH}:${XDG_DATA_HOME}/node_modules/bin" \
/app/extra/vscode/bin/code --extensions-dir=${XDG_DATA_HOME}/vscode/extensions "$@" ${WARNING_FILE}