Jeudi c’est quick fix

linux & fun

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

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.