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 #73 from refi64/dotnet

Browse Source 
Add dotnet support
This commit is contained in:
Nick Richards
2019-04-04 21:44:48 +01:00
committed by GitHub
parent 7246c67e16 dd0442a225
commit baae4970c4
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
code.sh
+4
View File
@@ -9,5 +9,9 @@ if [ ! -f ${FIRST_RUN} ]; then
touch ${FIRST_RUN} touch ${FIRST_RUN}
fi fi
if [[ -d /usr/lib/sdk/dotnet ]]; then
. /usr/lib/sdk/dotnet/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}