¿Cómo agregar temas de color a las preferencias de la GUI de Gnome-Terminal?


9

Utilizo Gnome-Terminal para gran parte de mi trabajo y me gusta separar mis ventanas por color en función de la tarea que estoy haciendo, por lo que he configurado varios perfiles utilizando la GUI de preferencias.

Encontré algunos temas de color en línea que me gustan y que me gustaría utilizar como base para algunos de mis perfiles, incluidos los que cree en el futuro. Sin embargo, la GUI de Preferencias solo tiene algunas opciones de tema de color, y necesitaría cambiar todos los colores manualmente cada vez que quiera usar uno de estos temas personalizados.

¿Hay alguna manera de agregar temas personalizados a mi GUI de preferencias? Si eso no es posible, ¿hay otra manera de configurar fácilmente un tema de color personalizado para un perfil? Sé que puedo cambiar manualmente los colores en otros lugares, como gconf-editor, pero preferiría una manera fácil de decirle el tema del color por su nombre y hacer que se encargue del resto (como lo que puede hacer con la GUI) .

Respuestas:


5

Todas las paletas de colores están codificadas, por lo que no es posible agregar temas personalizados al menú de preferencias incorporado de gnome-terminal a menos que esté dispuesto a parchear el código fuente y recompilar la aplicación.

Una forma de configurar temas de color personalizados para su perfil es a través de scripts. Echa un vistazo a cómo lo hace la solarización :

gnome-terminal-colors-solarized

Sin embargo, tenga en cuenta que gconf es EOL y las futuras versiones de gnome-terminal utilizarán gsettings backend.


Tenga en cuenta que Solarized ahora recomienda crear un nuevo perfil y configurar el tema como el tema "personalizado" allí.
wjandrea
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.