On Wed, Feb 16, 2022 at 07:34:20PM +0000, Gottfried wrote: > Which other terminal emulators are useful, because I want to install a > second one (in case of emergency, because I messed the one I had up, > fortunately I could recover it)?
rxvt-unicode is another good terminal emulator.
