El Sat, 09 Aug 2014 12:08:43 -0500, Carlos Zuniga escribió: > 2014-08-09 11:43 GMT-05:00 Carlos Zuniga <carlos....@gmail.com>: >> 2014-08-09 4:29 GMT-05:00 Camaleón <noela...@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 -- To UNSUBSCRIBE, email to debian-user-spanish-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/pan.2014.08.09.17.18...@gmail.com