If you've ever played around with customising Ubuntu (or any GNOME Shell-based Linux distribution) you'll have encountered ...

We're seeing something of a terminal emulator renaissance of late, with developers eager to reimagine, rethink, and rewire ...