He usado (Red Hat, Ubuntu, CentOS, otros). Estas distribuciones utilizan Gnome-terminal y proporcionan formas flexibles de configurar diferentes perfiles de terminal a través de un menú desplegable ubicado en la ventana del terminal, directamente encima de donde se ingresan los comandos, por lo general. Estos perfiles permiten realizar cambios en las propiedades de fuente y color de diferentes archivos, etc.
¿Dónde se almacenan estos diferentes perfiles para el terminal?
En mi Ubuntu 16.04,
Bueno, acaba de citar tres distribuciones que usan al menos dos Gnomeversiones diferentes . Esto es importante debido a la tendencia de Gnome 2a Gnome 3la que se trasladó de GTK 2a GTK 3y las cosas un poco mixtos.
Para llegar a su tema, generalmente, toda su configuración para su usuario está en $HOMEalgún lugar. Primero debe buscar en $HOMEsí mismo y luego intentar .configy, .gconfcomo ambos sugieren un directorio de configuración.
Dicho esto, y con una simple búsqueda en Google descubrí que podría estar dentro, ~/.gconf/apps/gnome-terminal/profilespero su kilometraje puede variar.
GTKafectará a la versióngtk-2.0y lagtk-3.0configuración del directorio sin embargo. Estaba hablando en general y no solo gnome-terminal.