Jeudi c’est quick fix
Argos
Dans mon billet sur mes extension gnome shell je vous parlait d’Argos, malheureusement la version de gnome 3.36 a une nouvelle fois changer quelques fonctions qui fait que Argos ne fonctionne pas. Du-moins pas directement il faut pour cela modifier le contenu de menuitem.js.
Alors allons-y, d’abord jeton un œil sur la page de l’extension pour voir qu’un commentaire est laissé pour nous permettre de fixer le problème.
Commensont part aller dans le dossier de l’extension avec un shell
cd ~/.local/share/gnome-shell/extensions/argos@pew.worldwidemann.com/
vim menuitem.js
Puis en mode commande
:0,$d
cela signifie de supprimer l’ensemble du contenu de menuitem.js. Il reste a récupérer la version compatible 3.36 disponible sur ce repo github puis de copier coller dans le fichier nouvellement vide. Une fois cela fait nous quittons Vim en sauvegardant.
:wq
Voila qui est fait ! Il reste deux choses a faire la première est de configurer Argos a notre convenance, la seconde est de relancer gnome. Alt +F2 puis r et entrée