El Fri, 08 Aug 2014 15:33:31 -0500, Carlos Zuniga escribió: > 2014-08-08 9:07 GMT-05:00 Camaleón <noela...@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 ;-( 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.09.29...@gmail.com
