¿Cómo cambio la fuente del terminal en Ubuntu MATE?
Parece que hay dos terminales en MATE. Uno es "MATE Terminal", que tiene una fuente agradable y legible y el otro es algo que se usa cuando inicio la aplicación creada en el menú GUI.
¿Cómo lo cambio?
Captura de pantalla del terminal que quiero cambiar
Respuesta1
Lo que estás enfrentando es un error en GLib, mantenido por desarrolladores de gnome. Han codificado un conjunto de emuladores de terminales para probar estos lanzadores y mate-terminalno están incluidos en esa lista. Incluso konsole, xfce4-terminaltambién queda excluido.
Aquí está el informe de error en github.https://github.com/mate-desktop/mate-panel/issues/57
Lea el resumen realizado por MoonSweep
Entonces, para resumir:
Al contrario de lo que se dijo al principio de este hilo, este no es un problema exclusivo de Mint y no tiene nada que ver con la variable TERM. Este es un error conocido de GLib que tiene un conjunto codificado de terminales para intentar iniciar, y varios de ellos faltan en esta lista (no solo faltan mate-terminal, sino también xfce-terminal o konsole, por ejemplo).
Sabiendo que los chicos de Gnome son ajenos a cualquier cosa fuera de Gnome, creo que no sirve de nada pedirles que solucionen este problema en GLib, es por eso que hice un parche que maneja mate-terminal y lo publiqué en Debian BTS, luego, cuando mate- El paquete de terminal comenzó a proporcionar un contenedor compatible con xterm, actualicé el parche para manejar x-terminal-emulator (que es una alternativa de Debian para todos los emuladores de terminal compatibles con xterm), permitiendo así que GLib en Debian (y derivados) maneje no solo mate-terminal sino todos los terminales que se pueden configurar como esta alternativa.
¿Qué puedes hacer?
En Mi prueba, vi que si lo ha gnome-terminalinstalado, primero probará ese. Entonces, para evitar cosas feas xterm, puedes instalarlo gnome-terminal, que es muy similar a mate-terminal y está incluido en Ubuntu Unity por defecto.
Para instalar, use este comando
sudo apt-get install gnome-terminal
Para mí, solucionó el problema. Intentalo. ¡Espero que funcione para ti también!