Script configuration file env.ini misplaced #1869
Description
Hi there!
The file env.ini contains information used by /scripts/WinPython_PS_Prompt.ps1, /scripts/env.bat, and all launchers, as well as scripts calling these two. Both expect the file to be in the same directory as the script, i.e., /scripts/.
It has, however, been placed in /python/scripts/ erroneously by the new generator configurations. Of course, this results into ... error messages.
This should be a simple fix and I intend place a PR shortly, which I hope will find your approval.
Congratulations on the nice work, by the way, @stonebig - it's good to see your hard work paying off.
PS: Old location in make.py: https://github.com/nevsal/winpython/blob/1a08ac557149e758cc8733ae603a22fd4e70d8fd/winpython/make.py#L120
--
Suggested quick fix for users of WinPython 2025-04: Copy (or move) /python/scripts/env.ini to directory /scripts/.