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.
un installeur qui ne sera pas pris en compte par le système de paquetage de la distribution = attention danger.
un jour on finira par installer des malwares
C’est le risque dès que tu sors des dépôts. Cela dit les logiciels présents dans les dépôts ne sont pas exempts de failles dangereuses. En gros on est en sécurité nulle part, il faut être prudent, mais il ne faut pas être parano non plus. À partir du moment où les sources sont disponibles rien ne t’empêches de vérifier avant d’installer ;)
Je suppose que les numéros correspondent aussi au numéro indiqué dans l’URL des extensions sur le site de gnome shell.
Pour l’exemple donné dans l’article, ça correspond en tout cas :
https://extensions.gnome.org/extension/861/small-panel-icon/
Je n’aime pas trop installer des choses hors dépôts donc j’hésite à l’utiliser, mais il faut reconnaître que ça doit être vachement pratique pour se faire des petits scripts post-installation.
Ah bien vu CoudCoud, c’est ça en effet. Pour le reste en effet, tu peux faire un script assez sympa en cas de réinstallation. C’est pas essentiel mais c’est toujours ça de pris en gain de temps.
Sans recherche au préalable je ne sais pas en fait :)
Et pour obtenir le numéro des extensions, il faut passer par où? ^^