Я вижу, что этот вопрос задавался несколько раз . Решения, приведенные там, похоже, не относятся к моей установке. Вот моя история: Я использую Ubuntu 12.0.04 LTS с xmonad (не поверх gnome) и использую xterm для своей работы. Я бы предпочел использовать xterm, а не другой терминал или собственное...