I'm breeding over the same thing. What can we do with this now that would't be so easy within other ecosystems that terminal emulators are typically written in (usually C I guess)?
hmm, I agree, this is pretty hard-coded. It should work for a default installation of git-bash, but of course, the user could have chosen a different location at install time.
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?
yeah, the jediterm library provides a Swing component (JediTermWidget extends JPanel) so it seemed natural to create an app around it that is also Swing based. I guess it's possible to integrate Swing components into JavaFX apps as well, so that should work too.
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...)
The performance of jediterm seemed quite impressive though when I made a quick smoke test with a command such as `time tree ~` in comparison to my regular xfce terminal at lest.
Mouse wheel is working on my Linux box. Is it not on yours? what kind of system?
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.
One thing I guess this app can do is help track down or surface more still existing bugs in the jediterm library when people start using a jediterm based terminal in their everyday life instead of just while using IntelliJ or Android Studio.
you'll actually need to host it yourself. It's going to be a one-to-one relationship between mailboxes and briar users on purpose to avoid centralization of any kind (think techies hosting mailboxes for many friends etc.). To make hosting rather easy, the mailbox can be run on a spare (old) Android device, ideally plugged into a power outlet and connected to Wifi. Setup will include installing the app onto the Android and going through a pairing procedure by scanning a QR-code from the mailbox app from the briar settings screen.
When you're close to someone you can make an initial exchange via QR+bluetooth. When you're distant you need to exchange your briar:// links on a different channel.
