(adsbygoogle = window.adsbygoogle || []).push({});

There’s all sorts of terminal emulators available these days.

Most of the “modern” ones, like gnome-terminal for example, have lots of whiz-bang features like menu-driven customization, background picture or transparency, setting the font used, and so on.

The thing is, all these nice features introduce their own problems, the

Continue reading Customize Xterm, the original and best terminal…