Cómo instalar GNOME 3 Extensiones en Ubuntu Top 10.Top 10 LTS
En este artículo, le mostraré cómo instalar Gnome 3 Extensions en Ubuntu 18.04 LTS. Empecemos.
Instalación Herramienta de ajuste de gnomo:
Herramienta de ajuste de gnomo se utiliza para configurar y administrar el entorno de escritorio GNOME 3. También se puede usar para instalar y configurar las extensiones instaladas en el entorno de escritorio GNOME 3.
Herramienta de ajuste de gnomo no está instalado de forma predeterminada en Ubuntu 18.04 LTS. Pero está disponible en el repositorio oficial de paquetes de Ubuntu 18.04 LTS. Puede instalarlo muy fácilmente desde el Centro de software de Ubuntu o de la Terminal.
Prefiero instalarlo desde el Terminal, como Centro de software de Ubuntu en mi máquina virtual es un poco lento.
Primero actualice el APTO caché del repositorio de paquetes con el siguiente comando:
$ sudo apt actualización
El APTO El caché del repositorio de paquetes debe actualizarse.
Ahora ejecute el siguiente comando para instalar Herramienta de ajuste de gnomo:
$ sudo apt install gnome-tweaks
Herramienta de ajuste de gnomo debe instalarse.
Ahora puedes ir al Menú de aplicaciones y encontrar Herramienta de ajuste de gnomo Allí, como puede ver en la sección marcada de la captura de pantalla a continuación. Clickea en el Ajustes icono.
Herramienta de ajuste de gnomo debería empezar. Te mostraré cómo configurar extensiones con Herramienta de ajuste de gnomo En una sección posterior de este artículo.
Instalación de complementos de Firefox de integración de shell de GNOME:
Por lo general, instala las extensiones GNOME 3 del sitio web oficial de Gnome 3 en https: // extensiones.gnomo.organizar
Una vez que visite el sitio web de Gnome Extensions, debería ver la siguiente página. Ahora haga clic en el enlace marcado para instalar Integración de shell gnome Complementos en su navegador.
Ahora haga clic en Permitir.
Ahora haga clic en Agregar.
Integración de shell gnome Se deben instalar complementos. Ahora haga clic en DE ACUERDO.
Si actualiza la página ahora, puede ver el siguiente error. Significa que tenemos que instalar Conector nativo de host Para el Integración de shell gnome trabajar.
Ahora ejecute el siguiente comando para instalar Conector nativo de host en ubuntu 18.04 LTS:
$ sudo apt install chrome-gnome-shell
Debe instalarse.
Ahora actualice la página de extensiones de gnomo y no debería ver más errores.
Instalación de extensiones GNOME utilizando el Administrador de paquetes:
Algunas de las extensiones de gnomo importantes están disponibles en el repositorio oficial de paquetes de Ubuntu 18.04 LTS.
Puede ver una lista de todas las extensiones de Gnome disponibles en el repositorio oficial de paquetes de Ubuntu con el siguiente comando:
$ sudo apt búsqueda gnome-shell-extensión
Todos los paquetes de extensiones de shell gnome se enumeran. Los textos verdes son el nombre del paquete que utiliza para instalar APTO gerente de empaquetación.
También puede escribir el siguiente comando y presionar Para ver todos los paquetes de extensión de gnomo que puede instalar.
$ sudo apt install gnome-shell-extension
Instalamos gnome-shell-extension-dash-to panel paquete, que es el Guarnición al panel extensión:
$ sudo apt install gnome-shell-extension-dash-to panel
La extensión debe instalarse.
Ahora de Herramienta de ajuste de gnomo, ir a Extensiones pestaña y debería poder encontrarlo. Como puede ver, ya lo habilité usando el botón de palanca al final como verde marcado en la captura de pantalla a continuación.
NOTA: A veces, debe reiniciar su computadora para que los cambios entren en vigencia.
Se pueden configurar algunas extensiones. Es la extensión que instaló se puede configurar, debe tener un icono de engranaje al lado del botón de palanca como puede ver.
El Guarnición al panel La extensión se puede configurar. Como puede ver, una vez que hice clic en el icono de engranajes, se muestra más opciones para configurar la extensión.
Hermoso Guarnición al panel extensión:
Instalación de extensiones desde el sitio web de Gnome Extensions:
También puede instalar nuevas extensiones del sitio web oficial de Gnome Extensions.
Primero descubra su versión de shell gnome con el siguiente comando:
$ gnome-shell --versión
Como puedes ver, estoy corriendo Gnome shell 3.28.1
Ahora encuentre la extensión que desea instalar desde https: // extensiones.gnomo.organizar
Luego vaya a la página de extensiones y debería ver la siguiente ventana.
Ahora seleccione su versión Gnome Shell. En mi caso es 3.28.
Ahora para instalar la extensión, haga clic en el botón marcado de alternancia.
Ahora haga clic en Instalar.
La mayoría de los casos, la extensión debe instalarse y activarse. A veces puede ver errores de la siguiente manera. No te asustas. Significa que debe instalar otros paquetes para que la extensión funcione. Simplemente instale el paquete que le dice que.
En mi caso, tuve que ejecutar el siguiente comando:
$ sudo apt instalación -y girl1.2-GTOP-2.0 gir1.2-NetWorkManager-1.0 libgtop-2.0-11
Las dependencias deben instalarse.
Ahora reinicie su computadora e intente instalarla nuevamente. Deberia de funcionar.
También puede administrar la extensión desde Herramienta de ajuste de gnomo.
Conclusión:
Puede instalar extensiones GNOME desde el sitio web oficial de Gnome Extensions, así como en el repositorio oficial de paquetes de Ubuntu 18.04 LTS. Pero la pregunta es cuál es mejor? Le sugiero que busque la extensión que desea instalar en el repositorio oficial de paquetes de Ubuntu 18.04 LTS primero. Si encuentra la extensión que está buscando allí, instálela con APTO gerente de empaquetación. Si no puede encontrarlo allí, pruebe el sitio web de Gnome Extensions.
Si instala extensiones desde el sitio web oficial utilizando el Administrador de paquetes APT, entonces las dependencias de esa extensión también se instalarán automáticamente. No tendrás que hacer nada manualmente. Además, estará seguro de que funcionará en su Ubuntu 18.04 Sistema operativo LTS.
Le recomiendo que siempre intente instalar extensiones de gnome desde el repositorio oficial de paquetes de Ubuntu 18.04 LTS.