Follow

Get yourself a terminal emulator made by someone who cares as much as Simon does!

😍 Extraterm

github.com/sedwards2009/extrat

· · Web · 1 · 6 · 17

@aral
That looks like a rather nice thing...

However, I just had a quick look at the user guide and saw this: »Selections can be made with the mouse and are automatically copied to the system clipboard.«

I must be this particular kind of oldschool where I avoid the terminal if there's a decent GUi, but I still want my mouse buffer to be separate from the clipboard. And I'm confused every time somebody doesn't recognize that's how it always should be ...

@Mr_Teatime I really like that feature. I find it difficult to use a terminal that doesn’t do that these days :) (It’s not just the mouse buffer, you can select using the keyboard with Extraterm and the same applies there too.)

@aral
Selecting with keyboard, and ctrl+cursor keys to jump words etc. is something I'm so used to that I regularly try to do it in a terminal, so that's really welcome. I also love multiple cursors and such, although there are too many different implementations, so I can't remember how to do it in most programs I use.

I prefer mousebuffer separate from clipboard because it lets me drop unformatted text in formatted environments, and select something and replace it with clipboard contents

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!