admin/ci-emsdk
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Point zsh and csh users to the correct startup script (#843)

Browse Source 
Fixes: https://github.com/emscripten-core/emscripten/issues/14446
This commit is contained in:
Sam Clegg
2021-06-17 10:36:50 -07:00
committed by GitHub
parent bb3189b941
commit 0eae457cdb
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
emsdk.py
View File

@@ -1663,8 +1663,14 @@ JS_ENGINES = [NODE_JS]
print(' ' + p)
print('- This can be done for the current shell by running:')
print(' source "%s"' % emsdk_env)
print('- Configure emsdk in your bash profile by running:')
print(' echo \'source "%s"\' >> $HOME/.bash_profile' % emsdk_env)
print('- Configure emsdk in your shell startup scripts by running:')
shell = os.environ.get('SHELL', '')
if 'zsh' in shell:
print(' echo \'source "%s"\' >> $HOME/.zprofile' % emsdk_env)
elif 'csh' in shell:
print(' echo \'source "%s"\' >> $HOME/.cshrc' % emsdk_env)
else:
print(' echo \'source "%s"\' >> $HOME/.bash_profile' % emsdk_env)
def find_msbuild_dir():