web-dev-qa-db-fra.com

Comment mettre à jour les extensions GNOME Shell à partir de la ligne de commande?

Parfois, des messages m'indiquent qu'une mise à jour de l'une de mes extensions GNOME Shell a été mise à jour et me dirigent vers https://extensions.gnome.org/local/ où je peux déclencher une mise à jour via l'interface Web. .

Je préférerais appeler des mises à jour à partir de la ligne de commande, comme si vous appeliez apt update && apt upgrade. Comment puis-je faire ceci?

11
david.libremone

Les commentaires sur cet article d'omgubuntu.co.uk énumèrent deux manières possibles:

  1. Le programme d'installation des extensions GNOME Shell · Github , un script bash permettant d'installer et de rechercher des extensions dans extensions.gnome.org. Installez-le avec

    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/
    

    Mettez à jour les extensions 23 et 42 pour GNOME Shell 3.18.4 avec

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

    Mettre à jour toutes les extensions avec

    gnome-Shell-extension-installer --yes --update --restart-Shell
    

    Je n’ai pas pu le tester, mais je suis presque sûr que c’est scriptable.

  2. Si vous avez installé vos extensions en clonant leurs dépôts git sur /path/, vous pouvez simplement git pull les dépôts l'un après l'autre:

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

    Après cela, vous devez recharger GNOME Shell avec soit Alt+F2 et r ou la commande gnome-Shell -r.

8
dessert

Le script gnomeshell-extension-manage de Nicolas Bernaerts permet d’installer et de supprimer des extensions GNOME Shell à la fois dans l’ensemble du système et dans l’espace utilisateur.

Voici comment vous l'installeriez:

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

Cela le rend disponible pour chaque utilisateur: (à côté de commandes GNOME similaires)

$ 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)

Le blog Gnome Shell - Gestion des extensions depuis la console explique en détail comment il est utilisé. Pour mettre à jour une extension, vous devez ajouter --version latest à la commande.


Les deux différences principales, techniquement parlant, avec = gnome-Shell-extension-installer sont que vous pouvez faire des installations à l’échelle du système et que vous utilisez wget au lieu de curl pour télécharger les extensions.

0
Peterino