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, así que» Hemos configurado varios perfiles usando la GUI de Preferencias.
Encontré algunos temas de color en línea que me gustan y me gustaría usar 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 forma de que pueda agregar temas personalizados a mi GUI de preferencias? Si eso no es posible, ¿hay otra forma en que pueda establecer fácilmente un tema de color personalizado para un perfil? Sé que puedo cambiar manualmente los colores en otros lugares, como gconf-editor, pero prefiero una manera fácil de simplemente dígale el tema de color por su nombre y haga que se encargue del resto (como lo que puede hacer con la GUI).
Respuesta
Las paletas de colores están codificadas de forma rígida, por lo que no es posible agregar temas personalizados al menú de preferencias integrado de gnome-terminal a menos que esté dispuesto a parchear el código fuente y recompilar la aplicación.
Una forma de configurar Un tema de color personalizado para su perfil es a través de scripts. Eche un vistazo a cómo lo hace solarize :
gnome-terminal-colors- solarized
Tenga en cuenta, sin embargo, que gconf es EOL y las futuras versiones de gnome-terminal utilizarán gsettings backend .
Comentarios
- Tenga en cuenta que Solarized ahora recomienda que cree un nuevo perfil y configure el tema como " tema " personalizado allí.