¿No está satisfecho con la funcionalidad predeterminada de GNOME? Aquí hay 5 de las mejores extensiones de GNOME Shell para que su escritorio Linux brille.
De forma predeterminada, GNOME Shell tiene un conjunto de funciones determinadas por los desarrolladores. Sin embargo, con la adición de extensiones de GNOME Shell, es posible ir más allá del conjunto de funciones predeterminado.
Como sugiere el nombre, las extensiones de GNOME Shell amplían la funcionalidad del escritorio de GNOME Shell . Le permiten personalizar la interfaz predeterminada de GNOME Shell y sus partes, como la administración de ventanas y el inicio de aplicaciones. Puede pensar en las extensiones como complementos del navegador que realizan una tarea específica.
Aquí está nuestra lista de las 5 mejores extensiones de GNOME Shell. Echemos un vistazo a ellos.
1. Corre al muelle
Dash to Dock es un puerto mejorado para GNOME Shell. Esta extensión saca el Dash de la vista general transformándolo en un muelle para un inicio más fácil de las aplicaciones y un cambio más rápido entre ventanas y áreas de trabajo sin salir de la vista del escritorio. En otras palabras, en lugar de tener que abrir primero el Tablero, los lanzadores de aplicaciones favoritos que ha agregado al Tablero siempre están listos.
Además, Dash to Dock admite ocultar automáticamente y intellihide modos así como un modo fijo . Además, la última versión de Dash to Dock (v70) presenta soporte para GNOME Shell 40.
Descargar Dash to Dock2. Iconos de la bandeja:recargado
De forma predeterminada, GNOME Shell no muestra aplicaciones con iconos de bandeja en la bandeja del sistema del panel superior. Esto puede reducir en gran medida su productividad. Iconos de bandeja recargados es una extensión de GNOME Shell que devuelve los iconos de bandeja al panel superior , con características adicionales.
Iconos de la bandeja de descargas:recargado3. Iconos de escritorio NG (DING)
La capacidad de cubrir nuestro fondo de escritorio con una cantidad de archivos y carpetas es parte integral del uso de una computadora para muchos de nosotros. Es una característica que la mayoría de los principales sistemas operativos tienen en común. Desafortunadamente, la gente del escritorio GNOME decidió ir en otra dirección.
Comprensiblemente, la desactivación de los íconos del escritorio en el entorno de escritorio GNOME Shell 3.28 generó una reacción violenta dentro de la comunidad por parte de los usuarios. Afortunadamente es reparable.
Desktop Icons NG es una extensión que devuelve los iconos de su escritorio a GNOME Shell. Es una bifurcación de la extensión Desktop Icons original, con varias mejoras.
Descargar iconos de escritorio NG4. Selector de dispositivos de entrada y salida de sonido
En Linux, los usuarios tienen que cambiar manualmente la salida de audio, lo que a veces es tedioso. Hasta entonces, el audio sigue reproduciéndose desde el mismo dispositivo. Para los nuevos usuarios de Linux que nunca han tenido que hacer esto manualmente en su sistema operativo anterior, esto realmente puede crear confusión.
El selector de dispositivos de entrada y salida de sonido es un selector simple para habilitar la selección de la fuente de sonido. Ahora, cuando conecte un dispositivo de audio a su PC, debería poder seleccionarlo directamente desde el menú del sistema GNOME.
Descargar Selector de dispositivos de entrada y salida de sonido5. Ocultar barra superior
Siente que la barra superior de GNOME siempre estorba y preferiría que sus aplicaciones ocuparan toda la pantalla.
La extensión Ocultar barra superior ayuda a ocultar la barra superior de GNOME cuando se interpone en su camino. Es muy útil para portátiles Linux o netbooks con pantalla pequeña.
En las preferencias de la extensión, se pueden especificar diferentes comportamientos:mostrar al pasar el mouse por encima o al presionar un atajo de teclado, o cuando ninguna ventana requiere el espacio.
Descargar Ocultar barra superiorConclusión
Como puede ver, los desarrolladores de GNOME han creado un método increíblemente fácil para agregar diferentes funciones al escritorio. Algunas de estas características ayudan a personalizar la apariencia de GNOME, mientras que otras ayudan al usuario a ser más productivo.
Esperamos que estas geniales extensiones te ayuden a redescubrir tu pasión por el escritorio GNOME. Entonces, ¿cuál es tu extensión GNOME favorita? Háganos saber en los comentarios a continuación.