Discovered Extraterm yesterday and I LOVE IT!

- Edit/copy output of commands via the keyboard in edit mode
- Pipe output of previous commands
- Delineates input/output clearly

Also, got a simple PR merged that fixes a tab-completion issue under zsh :)

· · Web · 4 · 4 · 14

(Basically, it’s the VSCode/VSCodium of shells – you’ll either love it or hate it, I guess.) :)

Show thread

@gabriel Nope. Too many issues. I mean, you can’t even ssh with it properly.

@aral You can't go wrong with a Swiss Army know...for that delicate work 🙃

@PresGas @aral oh, that's a really nice tool! I hadn't seen this before. Thanks!

@aral Damn, that looks so neat! I'm definitely going to try it on the weekend.

And of course it is written with web technologies - if you encounter usable, beautiful UIs, it is most often backed by web tech.

Thank you so much for sharing this!🤗

(And I need to point out your image alt text - absolutely admirable❤️ - I should take a leaf out of your book.)

Sign in to participate in the conversation
Aral’s Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!