Cuando inicio gnome-terminal y lo hago echo $TERM, obtuve xtermcomo salida.
Quiero que sea xterm-256color
He considerado la solución para agregar 'export TERM=xterm256color'en mi .bashrc. Pero no me gusta esta solución, ¿qué pasa si decido cambiar de shell? ¿Tengo que agregar otra exportación a mi nuevo script de inicio de shell?
Entonces, ¿hay una mejor manera de tener automáticamente un terminal de 256 colores al iniciar gnome-terminal?
Al copiar mi respuesta de la misma pregunta, @javabrett señaló:
Le recomendamos que no cambie sus scripts de inicio, especialmente ~/.bashrc. Cualquier "detección de terminal" con corriente $TERMo $COLORTERMen ~/.profileno es más que una suposición, y puede, como usted ha dicho, causa problemas al utilizar otros terminales (por ejemplo, masilla o xterm). Se supone que el emulador de terminal debe establecerse $TERM, y esto no debe cambiarse desde dentro del shell.
El terminal Gnome, AFAIK, no ofrece una configuración para cambiarlo TERM, pero le permite cambiar su comando de inicio, y eso es todo lo que necesita. Aquí está el truco:
Profile Preferences => Title and Command => Run a custom command instead of my shell
Luego use el siguiente comando:
env TERM=xterm-256color /bin/bash
Simplemente reemplácelo /bin/bashcon su caparazón preferido si es diferente. Y no, no puede usar "$SHELL"en esa línea para la detección automática de shell;) Tiene que codificarlo
A partir de la gnome-terminalversión 3.16, su valor predeterminado es TERM=xterm-256color.
Hay una buena respuesta que explica cómo gnome-terminalno permite TERMque se establezca el valor predeterminado a través de su configuración en askubuntu .
Sugiere que esta es una opción de tiempo de compilación, por lo que parece que la configuración TERMen un perfil de shell o script de inicio es la mejor y única opción. Puede crear un script de envoltura o un alias si lo prefiere.