Re: [OT] Mini-encuesta para configuración de tipos de letra
El Sat, 09 Aug 2014 12:08:43 -0500, Carlos Zuniga escribió:
> 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>:
(...)
>>> 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
Desgraciadamente estamos en la misma situación descrita en mi correo
anterior.
Saludos,
--
Camaleón
Reply to: