Re: [OT] Mini-encuesta para configuración de tipos de letra

[Carlos Zuniga <carlos.zun@gmail.com>]

2014-08-09 11:43 GMT-05:00 Carlos Zuniga <carlos.zun@gmail.com>:
> 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

Y ahora que veo bien [0], otra opción podría ser que crees una
extensión mínima, con un javascript vacío (que asumo no te volverá
mucho más lento el sistema) y colocar tus modificaciones en
stylesheet.css.

Eso te evitaría tener que editar gnome-shell.css cada vez que
actualizas el sistema.


Saludos

[0] https://wiki.gnome.org/Projects/GnomeShell/Extensions
-- 
A menudo unas pocas horas de "Prueba y error" podrán ahorrarte minutos
de leer manuales.