Re: [OT] Mini-encuesta para configuración de tipos de letra
2014-08-09 4:29 GMT-05:00 Camaleón <noelamac@gmail.com>:
> El Fri, 08 Aug 2014 15:33:31 -0500, Carlos Zuniga escribió:
>
>> 2014-08-08 9:07 GMT-05:00 Camaleón <noelamac@gmail.com>:
>
> (...)
>
>>> Creo que aún no está bien resuelto la personalización de gnome-shell,
>>> porque aunque desde gnome-tweak-tool puedes cambiar algunas cosas, no
>>> permite todo lo que me gustaría :-(
>>>
>>>
>> Sería bueno que luego de cargar ese gnome-shell.css del sistema, gnome
>> cargue un archivo css propio del usuario para sobreescribirlo, pero
>> conociendo su visión, seguro que tal sugerencia la tirarán al tacho :(
>
> Hasta donde sé, lo que han hecho es permitir que el usuario active y
> habilite los temas, por lo que cuando se añade uno se carga/copia desde
> el directorio del usuario (~/.themes) pero yo no quiero usar temas (ya lo
> probé en alguna ocasión y el sistema lo noto lento además de que los
> temas también hay que modificarlos para ajustarlos...) de hecho tengo la
> extensión desactivada). Sólo quiero modificar algunos parámetros de la
> apariencia de gnome-shell lo cual no es posible salvo editando
> manualmente ese archivo y ya me he cansado de tener que ir editando los
> valores uno a uno cada vez que se actualiza ese archivo ;-(
>
Si el motor css de gnome-shell soporta @import [0], lo único que
tendrías que hacer cada ves que actualizas es añadir una sola línea al
archivo:
@import url("/home/usuario/.gnome.user.css");
Y mantener tus cambios ahí.
En lugar de editar los valores, sobreescribelos colocando un
!important al final para que tu regla pese más que la suya.
Saludos
[0] https://developer.mozilla.org/en-US/docs/Web/CSS/@import
--
A menudo unas pocas horas de "Prueba y error" podrán ahorrarte minutos
de leer manuales.
Reply to: