Windows also has %PATHEXT%. It's a set of executable extensions like bat, exe, com, cmd.
It is what allows calling `program` and reaching `program.exe`.
I'm not even sure how popular git bash is on Windows, I vaguely remember cygwin might be something many user that care to use a terminal might have installed?
I guess for now there's not much reason to prefer this terminal over any other. I guess we'd need to add something unique, though I'm not sure yet what that might be.
Although, interestingly, while digging up that link I noticed the JediTermMain that for sure makes it plausibly executable so I dunno if OP's project is actually just "for funzies" or if there's otherwise something added https://github.com/JetBrains/jediterm/blob/4cef2840aed5ec1d6...
You're right, I'm not doing much except adding some build logic for creating executables really. I also added tabbing and light / dark mode. I guess we could also at least add more options that are readily available for the jediterm widget (https://github.com/JetBrains/jediterm/blob/4cef2840aed5ec1d6...)
jarym•5h ago
sebkur•46m ago
sebkur•24m ago