Rename environment_windows.bat to cmd_windows.bat

This commit is contained in:
oobabooga 2023-04-18 02:30:23 -03:00 committed by GitHub
parent 316aaff348
commit a5f7d98cf3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,20 +0,0 @@
@echo off
cd /D "%~dp0"
echo "%CD%"| findstr /C:" " >nul && echo This script relies on Miniconda which can not be silently installed under a path with spaces. && goto end
set PATH=%PATH%;%SystemRoot%\system32
@rem config
set CONDA_ROOT_PREFIX=%cd%\installer_files\conda
set INSTALL_ENV_DIR=%cd%\installer_files\env
@rem activate installer env
call "%CONDA_ROOT_PREFIX%\condabin\conda.bat" activate "%INSTALL_ENV_DIR%" || ( echo. && echo Miniconda hook not found. && goto end )
@rem enter commands
cmd /k "%*"
:end
pause