Comment Comment by Barrin92 also probably a good place to plug his kitty terminal emulator which is really, really nice. Two pieces of software I use a lot.https://sw.kovidgoyal.net/kitty/ parent Barrin92 7 years ago
https://sw.kovidgoyal.net/kitty/