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 :)

extraterm.org/

Follow

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

· · Web · 1 · 1 · 2

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

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!