En Ubuntu 14.04, pude diseñar la apariencia del terminal gnome y sus pestañas creando un archivo
/home/$user/.config/gtk-3.0/gtk.css
y poner código CSS en él, por ejemplo
TerminalWindow .notebook tab.top:active{
padding: 0;
border-image: none;
background-color: #555;
}
[...]
Ahora en Ubuntu 16.04 esto no tiene ningún efecto en la apariencia del terminal gnome.
¿Cómo puedo modificar la apariencia del terminal gnome en Ubuntu 16.04?
adwaita
. Viene preempacado con cualquier distribución de GNOME. Por tema predeterminado, supongo que Ambiance. El ambiente en 16.04 todavía es de la vieja escuela, por lo que debería poder editar cosas simplemente a diferencia del problema de Numix que describí. Si no puede, eso simplemente significa que los desarrolladores de GNOME han codificado algo :(Respuestas:
Esto funciona para mi:
El código que agregué está en la parte inferior. El archivo que edité es
~/.themes/ORIG-Ambiance/gtk-3.0/apps/gnome-terminal.css
.Notas:
Acabo de copiar la carpeta Ambiance
/usr/share/themes
y le cambié el nombre para no tener que usar privilegios elevados mientras edito el archivo.Descubrí que usarlo
#555
dificultaba ver el texto en la pestaña.También cambié el
selected_fg_color
para estar seguro de qué tema es cuál y es por eso que la barra de desplazamiento no es naranja;)fuente
Numix
usando un tema como usar una herramienta de ajuste y seleccionar el nuevo temaORIG-Ambiance
del menú desplegable y reiniciar la aplicación, el gnomo o la sesión del usuario?/usr/share/themes/Ambiance/gtk-3.0/apps/gnome-terminal.css
. De esa manera, no tendrá la molestia de tener que cambiar de tema. Por supuesto, necesitará usarsudo nano
o lo que sea que use para editar archivos del sistema. Y una copia de seguridad sería una buena idea. Uso la sesión Openbox de Lubuntu y no requiere que instale herramientas especiales para cambiar temas. Solo tengo una lista de temas~/.config/gtk-3.0/settings.ini
con todos menos uno comentado. Cambiar los temas a nivel de usuario es solo una cuestión de editar ese archivo./etc/gtk-3.0/
.Cerrar sesión / cerrar todos mis programas y volver a iniciar sesión aplicaron el tema después de todo.
La referencia de la API GTK para GtkCssProvider (la versión de desarrollo inestable, no puedo encontrar las secciones equivalentes para estable) explica / confirma cómo GTK leerá el código CSS para un tema en el inicio:
La experiencia previa sugirió gnome-terminal todo lo que tenía que hacer era cerrar todas las pestañas y ventanas de gnome-terminal para que surta efecto la nueva temática. Según los documentos, tal vez GTK necesitaba pasar por su inicialización, o puede haber habido un
gnome-terminal
proceso aún en ejecución, que me obligó a cerrar sesión y volver a ingresar.fuente