On: State of the Terminal

[mixmastamyk]

GUI Task managers have existed for decades.

If this issue is really bugging you:

- Buy a cheap Mac style keyboard and configure it as such. See kinto.

- Use a terminal with “smart paste” for a decent workaround.