¿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 +".
Las 5 mejores grabadoras de pantalla para Linux
La captura de pantalla en Linux siempre ha sido impredecible. Hay docenas de aplicaciones para elegir, algunas son buenas y otras son realmente malas. Si necesita grabar un screencast en Linux, tendrá que invertir tiempo para encontrar uno que realmente funcione lo suficientemente bien como para darle un video utilizable al final.
Cómo arreglar una PC con Linux que no iniciará
Enciende tu PC Linux solo para descubrir que no se cargará y no sabes que hacer? Cuando su PC no gira, la solución de problemas se vuelve complicada. Para empezar, no hay nada que pueda hacer para ejecutar comprobaciones en su sistema operativo o su hardware. Lo poco que puedes hacer es asegurarte de haber conectado todo correctamente.
![Cómo agregar marcadores a un video de YouTube [Chrome]](http://beogradionica.com/img/web-2017/how-to-add-bookmarks-to-youtube-video.png)
