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...)
Edit: To make it a bit clearer: You can access your shell of choice (Bash, Fish, Power Shell, Cmd, ...) in different terminal emulators (Windows Console, GNOME Terminal, Visual Studio Code, Kitty, Forceterm, ...). The drawing of the characters to the screen, scrolling, menus and other UI parts are handeled by the terminal, but the actual logic (processing the commands you type) is done by the shell. The shell decides WHAT to display and the terminal emulator decides HOW it is displayed.
And terminal is an interactive UI to interact with the OS and its programs. Emulator is synonymous with something here?
jarym•7mo ago
sebkur•7mo ago
sebkur•7mo ago