Allow user-editable startup script for juliawin environment

heetbeet · Sep 27, 2022 · fe27565 · fe27565
1 parent 95ea82c
commit fe27565
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/bin/activate-juliawin-environment.bat b/bin/activate-juliawin-environment.bat
@@ -28,5 +28,8 @@ call "%~dp0\activate-juliawin-portability.bat"
 
 set "PATH=%juliawin_packages%\julia\libexec;%juliawin_packages%\julia\bin;%juliawin_packages%\curl\bin;%juliawin_packages%\vscode;%juliawin_packages%\atom\resources\cli;%PATH%"
 
+if exist "%juliawin_userdata%\startup.bat" call "%juliawin_userdata%\startup.bat"
+if exist "%juliawin_userdata%\startup.cmd" call "%juliawin_userdata%\startup.cmd"
+
 :: Set flag to indicate everything is already activated
 set "juliawin_activated=1"