Как изменить шрифт терминала в Ubuntu MATE?

Как изменить шрифт терминала в Ubuntu MATE?

Как изменить шрифт терминала в Ubuntu MATE?

Похоже, в MATE есть два терминала. Один из них — «MATE Terminal», у которого приятный читабельный шрифт, а другой — это то, что используется, когда я запускаю приложение, созданное в меню GUI.

введите описание изображения здесь

Как мне это изменить?

Скриншот терминала, который я хочу изменить

введите описание изображения здесь

решение1

То, с чем вы столкнулись, — это ошибка в GLib, поддерживаемая разработчиками gnome. Они жестко закодировали набор эмуляторов терминалов, чтобы попробовать эти лаунчеры, и в этом списке mate-terminalнет. Даже konsole, xfce4-terminalтакже исключен.

Вот отчет об ошибке на githubhttps://github.com/mate-desktop/mate-panel/issues/57

Прочитайте резюме, составленное MoonSweep

Итак, подведем итог:

Вопреки тому, что было сказано в начале этой ветки, это проблема не только Mint, и это не имеет ничего общего с переменной TERM. Это известная ошибка GLib, которая имеет жестко закодированный набор терминалов для попытки запуска, и несколько из них отсутствуют в этом списке (не только mate-terminal, но и xfce-terminal или konsole, например).

Зная, как ребята из Gnome не обращают внимания ни на что, кроме Gnome, я думаю, что бесполезно просить их исправить эту проблему в GLib, поэтому я создал патч, обрабатывающий mate-terminal, и разместил его в Debian BTS, а затем, когда пакет mate-terminal начал предоставлять оболочку, совместимую с xterm, я обновил патч для обработки x-terminal-emulator (который является альтернативой Debian для всех эмуляторов терминала, совместимых с xterm), тем самым позволив GLib в Debian (и производных) обрабатывать не только mate-terminal, но и все терминалы, которые можно установить в качестве этой альтернативы.

Что ты можешь сделать?

Из моего теста я увидел, что если вы установили gnome-terminal, он сначала попробует его. Так что, чтобы избежать уродливого xterm, вы можете установить , gnome-terminalкоторый очень похож на mate-terminal и включен в стандартный Ubuntu Unity.

Для установки используйте эту команду

sudo apt-get install gnome-terminal

Для меня это решило проблему. Попробуйте. Надеюсь, это сработает и для вас!

Связанный контент