set USERPROFILE to local profile (fixes #468)

According to this analysis: https://discord.com/channels/1014774730907209781/1040225028828057620/1040324719074889779
the USERPROFILE variable must not contain unicode characters as well. Only setting APPDATA is not sufficient.
This commit is contained in:
JeLuF 2022-11-13 09:19:01 +01:00 committed by GitHub
parent 745ea5fb05
commit e59fbac761
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -15,6 +15,9 @@ set umamba_exists=F
set OLD_APPDATA=%APPDATA% set OLD_APPDATA=%APPDATA%
set APPDATA=%cd%\installer_files\appdata set APPDATA=%cd%\installer_files\appdata
@mkdir %cd%\profile
set USERPROFILE=%cd%\profile
@rem figure out whether git and conda needs to be installed @rem figure out whether git and conda needs to be installed
if exist "%INSTALL_ENV_DIR%" set PATH=%INSTALL_ENV_DIR%;%INSTALL_ENV_DIR%\Library\bin;%INSTALL_ENV_DIR%\Scripts;%INSTALL_ENV_DIR%\Library\usr\bin;%PATH% if exist "%INSTALL_ENV_DIR%" set PATH=%INSTALL_ENV_DIR%;%INSTALL_ENV_DIR%\Library\bin;%INSTALL_ENV_DIR%\Scripts;%INSTALL_ENV_DIR%\Library\usr\bin;%PATH%