EDIT DEC 2021: Cette solution ne fonctionne plus sur Gnome 3.38. La commande shell retourne
Le rechargement des extensions ne fonctionne pas correctement et n'est plus supporté
J'ai trouvé un moyen de charger/activer manuellement des extensions shell installées sur Wayland. Cet article explique comment faire cela,
La commande gnome-shell
vous donnera la version du shell actuellement installée pour vous assurer de télécharger la bonne version d'extension,
> gnome-shell --version
GNOME Shell 3.30.2
Dans mon cas, j'ai la version 3.30.2. J'ai téléchargé une extension shell pour cette version et j'ai procédé à extraire son contenu dans un nouveau dossier. Le nom de ce dossier doit correspondre à la chaîne uuid
trouvée dans le fichier metadata.json
à la racine de l'extension. J'ai ensuite créé un nouveau dossier sous,
mkdir ~/.local/share/gnome-shell/extensions//
Après avoir décompressé le contenu de l'archive d'extension dans ce dossier, j'ai utilisé la commande suivante pour activer la nouvelle extension,
gnome-shell-extension-tool -e
le gnome-shell-extension-tool
permet également de recharger une extension (-r
) et de la désactiver aussi (-d
).
2 votes
Voici la raison : mail.gnome.org/archives/commits-list/2015-March/msg01019.html
3 votes
Il semble donc que ce ne sera tout simplement pas possible pour le moment?
1 votes
Généralement, j'utilise le redémarrage pour réindexer l'application (après l'installation), y a-t-il un meilleur moyen?
0 votes
C'est aussi gênant lorsqu'un bug dans un autre programme fait planter le commutateur alt+tab dès qu'un e-mail est envoyé. Forcer un redémarrage, apparemment, pour récupérer alt+tab. Ce qui est au-delà du ridicule.
0 votes
Jetez un œil à ma réponse, j'espère que cela fonctionnera également pour vous.