¿Cómo puedo actualizar las extensiones de GNOME Shell desde la línea de comandos?

14

De vez en cuando recibo mensajes que me dicen que hay una actualización para una de mis extensiones de GNOME Shell, que me dirige a https://extensions.gnome.org/local/ donde puedo activar una actualización a través de la interfaz web.

Prefiero invocar actualizaciones desde la línea de comandos, similar a llamar apt update && apt upgrade. ¿Cómo puedo hacer esto?

command-line updates gnome-shell-extension david.libremone
fuente
Puede utilizar un crontrabajo para extraer extensiones de shell del /etc/shellsarchivo y ejecutar apt-getactualizaciones para cada valor, solo una idea.
The Pizza Overlord
1
@ThePizzaOverlord Estas tienden a no estar empaquetadas y, cuando lo están, a menudo son reemplazadas por las versiones proporcionadas por Gnome directamente.
Oli
Consulte el problema 90n de gnome-shell para obtener una solicitud para agregar esta función.
Peterino

Respuestas:

9

Los comentarios en este artículo de omgubuntu.co.uk enumeran dos formas posibles:

  1. El instalador de extensiones de GNOME Shell · Github , un script bash para instalar y buscar extensiones desde extensiones.gnome.org . Instalarlo con

    wget -O gnome-shell-extension-installer "https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer"
chmod +x gnome-shell-extension-installer
sudo mv gnome-shell-extension-installer /usr/bin/

    Actualice las extensiones 23y 42para GNOME Shell 3.18.4con

    ids=( 23 42 )
gnome=3.18.4
gnome-shell-extension-installer ${ids[@]} $gnome --yes --update --restart-shell

    Actualice todas las extensiones con

    gnome-shell-extension-installer --yes --update --restart-shell

    No pude probarlo, pero estoy bastante seguro de que es programable.

  2. Si instaló sus extensiones clonando sus repositorios de git /path/, puede simplemente git pulllos repositorios uno tras otro:

    for i in /path/*; do
  git -C"$i" pull
done

    Después de que usted necesita para recargar GNOME Shell, ya sea con Alt+ F2y ro el comando gnome-shell -r.

postre
fuente
0

El script gnomeshell-extension-manage de Nicolas Bernaerts permite instalar y eliminar extensiones de GNOME Shell tanto en todo el sistema como en el espacio del usuario.

Así es como lo instalarías:

wget https://raw.githubusercontent.com/NicolasBernaerts/ubuntu-scripts/master/ubuntugnome/gnomeshell-extension-manage
chmod 755 gnomeshell-extension-manage
sudo mv -iv gnomeshell-extension-manage /usr/local/bin/gnome-shell-extension-manage

Esto lo hace disponible para todos los usuarios: (junto con comandos similares de GNOME)

$ gnome-shell-extension-manage 
Install/remove extension from Gnome Shell Extensions site https://extensions.gnome.org/
Extension ID should be retrieved from https://extensions.gnome.org/extension/<ID>/extension-name/
Version installed will be targeted as the same as Gnome Shell or the next available one
Parameters are :
  --install               Install extension (default)
  --remove                Remove extension
  --user                  Installation/remove in user mode (default)
  --system                Installation/remove in system mode
  --version <version>     Force Gnome version (use 'latest' to force latest one)
  --extension-id <id>     Extension ID in Gnome Shell Extension site (compulsory)

El Shell de Gnome - Gestión de extensiones de la publicación del blog de la consola explica en detalle cómo se usa. Para actualizar una extensión, debe agregarla --version latestal comando.

Las dos diferencias principales, técnicamente hablando, con el instalador gnome-shell-extension-de Ian Brunelli son que puede realizar instalaciones en todo el sistema y que se está utilizando en wgetlugar de curldescargar las extensiones.

Peterino
fuente