On Wed, 7 Feb 2001, [iso-8859-1] Hanno Böttcher wrote: > What distribution do you use? Debian, of course! > There are several tools for doing this or you can look at /etc/gpm.conf There is no file with this name. Bye, Ales Jerman from Slovenia