From 638f531bf7a4a6a8d9675ceb2bef915a46b04749 Mon Sep 17 00:00:00 2001 From: doyle Date: Thu, 19 Aug 2021 18:04:30 +1000 Subject: [PATCH] Allow user configuring of the terminal script via win32_terminal_user_config.bat --- win32_install.bat | 1 + 1 file changed, 1 insertion(+) diff --git a/win32_install.bat b/win32_install.bat index b65d5d5..e7ff06d 100644 --- a/win32_install.bat +++ b/win32_install.bat @@ -547,6 +547,7 @@ echo set HOME=%%~dp0!home_dir!>> "!terminal_script!" echo set HOMEPATH=%%~dp0!home_dir!>> "!terminal_script!" echo set USERPROFILE=%%~dp0!home_dir!>> "!terminal_script!" echo if exist "%%~dp0!msvc_script!" call "%%~dp0!msvc_script!">> "!terminal_script!" +echo if exist "%%~dp0win32_terminal_user_config.bat" call "%%~dp0win32_terminal_user_config.bat">> "!terminal_script!" if !install_cmder! == 1 ( echo call "%%~dp0!cmder_dir!\cmder.exe" %%*>> "!terminal_script!" )