Hi people, I'd like to configure another font for the non-X terminal, one that is smaller and not that space-consuming. What configuration file (or gui) is to be used for that? Greetings, -- * Christian Heinze * GnuPG KeyID: 0x036DA269 @ www.pca.dfn.de/pgpkserv