The reason for these (weird-looking.exe) files is that I want to suppress executables (without deleting them) if the underlying support structure isn't installed. This is to bypass situations where (for instance) the Juliawin directory is added to window's path, and pluto is not installed, but a defunked pluto.exe is then available to the terminal.
The alternative would be to hide these (weird-looking.bat) and (weird-looking.exe) file somewhere else, and then only upon activating the exes/bats we move them to their correct location.
The reason for these
(weird-looking.exe)files is that I want to suppress executables (without deleting them) if the underlying support structure isn't installed. This is to bypass situations where (for instance) the Juliawin directory is added to window's path, and pluto is not installed, but a defunkedpluto.exeis then available to the terminal.The alternative would be to hide these
(weird-looking.bat)and(weird-looking.exe)file somewhere else, and then only upon activating the exes/bats we move them to their correct location.