You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 text was updated successfully, but these errors were encountered:
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.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 text was updated successfully, but these errors were encountered: