Gnome Shell Extension Installer – Installez vos extensions GNOME depuis le terminal

Si vous aimez GNOME, installer des extensions pour ce dernier et votre terminal, le petit soft que vous allez voir et qui soit dit en passant roxe du poney, va sans doute vous plaire. GNOME Shell Extension Installer est une application publiée sous licence Libre, conçue dans le but de vous permettre de rechercher et d’installer des extensions pour Gnome Shell depuis votre terminal. Vous allez voir c’est vraiment très bien fait, en plus d’être super facile à utiliser.

Installation :

La première chose à faire est d’installer la bête, ce que vous pouvez faire à l’aide de ces quelques commandes :

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

Si vous tournez sous Arch Linux ou Manjaro c’est encore plus simple, car vous pouvez passer directement par AUR à l’aide de la commande suivante :

yaourt -S gnome-shell-extension-installer

Usages :

Une fois que tout est ok vous pouvez vous lancer et pour que vous sachiez où aller nous allons voir comment effectuer une recherche.

Comme le montre la capture ci-dessous la commande n’est pas bien compliquée et se présente sous cette forme :

gnome-shell-extension-installer -s "User Themes"

où « gnome-shell-extension-installer -s » constitue la commande de base, suivie du terme recherché, ici « User Themes ».

Vous verrez alors apparaître une liste, à partir de laquelle vous pouvez faire votre choix en indiquant le numéro de l’extension que vous souhaitez installer.

NB : Vous pouvez voir également que les versions de Gnome Shell prises en charge sont indiquées .

Si vous savez déjà quelle extension vous intéresse vous pouvez zapper l’étape de recherche et passer directement à l’installation à l’aide d’une commande de ce type :

gnome-shell-extension-installer 861 3.12 --yes

où « 861 » correspond à l’extension à installer (ici Small Panel Icon), où « 3.12 » correspond à votre version de Gnome et où « –yes » vous évite les étapes de confirmation.

Bien entendu il est peu probable que vous connaissiez par cœur le numéro des extensions, mais bon. Sachez que c’est possible.

Un fois que l’extension est installée il suffit d’entrer « exit » et si vous le souhaitez, vous pouvez toujours ouvrir Gnome Tweak Tool pour vous assurer que tout s’est bien passé.

Alors il n’y a sans doute pas de quoi flinguer un chaton, mais j’ai adoré ce petit soft qui permet de s’affranchir d’un navigateur Web pour installer des extensions Gnome.

Si ça vous tente vous pouvez suivre l’évolution de ce projet en vous branchant sur la page Github qui lui est dédiée.

Amusez-vous bien.