¿Desea cambiar el icono, el tema del shell o incluso la fuente en Gnome Shell, pero no está seguro de cómo? No es para preocuparse. En este artÃculo, le enseñaremos todo lo que hay que saber sobre cómo tomar el entorno de escritorio Gnome, personalizarlo y hacerlo suyo. Desde Ãconos, hasta cursores de mouse, extensiones, fuentes y todo lo demás; esta es la guÃa definitiva sobre cómo personalizar Gnome Shell. ¡Comencemos!
Toda la personalización en este artÃculo se hace con la ayuda de la herramienta Gnome Tweak. Es posible que ya esté instalado en su PC con Linux. Si no, abra un terminal o buscador de software, busque "Gnome Tweak Tool" e instálelo.
A diferencia de muchos otros entornos de escritorio, la sección de apariencia en Gnome Shell es muy simple. No está separado en pestañas individuales. En esta sección, veremos cómo cambiar los diferentes aspectos de la apariencia de Gnome.
Para comenzar, asegúrese de que Gnome Tweak Tool esté instalado. Una vez instalado, abra la herramienta de ajustes, y mire a la lista en el lado izquierdo. Seleccione "Apariencia".
Gnome está construido en gran parte gracias al kit de herramientas GTK3. Como resultado, todas las decoraciones de ventana y los controles del programa se basan en ella. El tema GTK es responsable de cómo se ve todo esto en su sistema operativo. Para cambiar el tema, vaya a la herramienta Tweak y encuentre "GTK +".
Has oÃdo hablar de Gentoo, pero ¿qué hay de Funtoo? Funtoo es una versión modificada del sistema operativo Gentoo Linux que mantiene la bondad central de Gentoo, pero la optimiza en gran medida al crear "perfiles" que hacen que compilar programas desde el código fuente sea mucho más rápido. También tiene otras mejoras que la convierten en una alternativa muy atractiva a Gentoo Linux tradicional, como la elección de entregar software a través de un sistema Git, un sistema automático de kernel que ahorra tiempo y más.
Cómo instalar Spotify en Linux
Los usuarios de Linux realmente no tienen muchas opciones cuando se trata de servicios de música en la nube. De los servicios populares de música en la nube, Spotify, Pandora, Apple Music, Google Music, etc., los usuarios de Linux tienden a gravitar hacia Google Music. Esto se debe a que Google Music es compatible tanto con Linux como con otros sistemas operativos.
