Comment configurer les extensions gnome-shell installées à partir du site officiel?
Je configure toujours les extensions gnome-shell installées à partir de dconf-editor, mais après avoir installé les extensions à partir du site officiel , je ne pouvais pas configurer les extensions installées à partir du site officiel (je ne les ai pas trouvées dans dconf -éditor sous org >> gnome >> Shell >> extensions).
alors comment configurer les extensions installées à partir du site officiel ???
pour l'instant vous ne pouvez pas faire ça.
les extensions du site officiel qui sont toujours en alpha, ne peuvent pas être modifiées avec dconf. (au moins certains d'entre eux).
mais vous pouvez toujours les modifier en allant dans les fichiers extension.js et .css dans /home/username/.local/share/gnome-Shell/extensions.
Dans Gnome 3, vous pouvez configurer une extension à l’aide de ce lien: https://extensions.gnome.org/local/
Vous pouvez les activer et les désactiver et également effectuer des config avancées sur certaines extensions.
Meilleur, Juergen
J'utilise gnome-Tweak-tool pour cela.
Vous pouvez l'obtenir ici: