Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
extensions-gnome [Le 12/05/2023, 19:42] 92.184.116.161 [Extensions GNOME Shell] Correction de typographies. |
extensions-gnome [Le 28/11/2023, 16:50] (Version actuelle) 83.197.0.156 [Intégration au navigateur] |
||
|---|---|---|---|
| Ligne 42: | Ligne 42: | ||
| Pour le faire fonctionner avec [[:Firefox]] ou [[:chromium-browser|Chromium]], installez le paquet **[[apt>chrome-gnome-shell]]**. | Pour le faire fonctionner avec [[:Firefox]] ou [[:chromium-browser|Chromium]], installez le paquet **[[apt>chrome-gnome-shell]]**. | ||
| Le [[https://extensions.gnome.org|site]] vous recommandera alors d'installer ou d'activer un plugin ou une extension(([[https://chrome.google.com/webstore/detail/gnome-shell-integration/gphhapmejobijbbhgpjhcjognlahblep?hl=fr|Extension pour Chromium/Chrome/Vivaldi]])). Faites-le, et actualisez la page. | Le [[https://extensions.gnome.org|site]] vous recommandera alors d'installer ou d'activer un plugin ou une extension(([[https://chrome.google.com/webstore/detail/gnome-shell-integration/gphhapmejobijbbhgpjhcjognlahblep?hl=fr|Extension pour Chromium/Chrome/Vivaldi]])). Faites-le, et actualisez la page. | ||
| + | Pour télécharger chrome-gnome-shell, vous devez ajouter ce PPA à ubuntu [[ https://launchpad.net/~brodyquest/+archive/ubuntu/ppa |PPA de chrome-gnome-shell ]] | ||
| | {{ http://image.noelshack.com/fichiers/2017/17/1493381277-capture-d-ecran-de-2017-04-28-14-07-49.png?400|Le site officiel de GNOME recense l'immense majorité des extensions existantes. }} | {{ http://i.imgur.com/s071v7w.png?350 }} | | | {{ http://image.noelshack.com/fichiers/2017/17/1493381277-capture-d-ecran-de-2017-04-28-14-07-49.png?400|Le site officiel de GNOME recense l'immense majorité des extensions existantes. }} | {{ http://i.imgur.com/s071v7w.png?350 }} | | ||
| Ligne 68: | Ligne 69: | ||
| unzip -d ~/.local/share/gnome-shell/extensions/NomDeLExtension Téléchargements/NomDeLExtension.zip | unzip -d ~/.local/share/gnome-shell/extensions/NomDeLExtension Téléchargements/NomDeLExtension.zip | ||
| </code> | </code> | ||
| + | (si la commande si-dessus ne marche pas, exécuter <code>mkdir ~/.local/share/gnome-shell/extensions</code>) | ||
| === Ouvrir le fichier metadata.json et copier le nom officiel de l'extension === | === Ouvrir le fichier metadata.json et copier le nom officiel de l'extension === | ||
| À l'intérieur du répertoire ~/.local/share/gnome-shell/extensions/NomDeLExtension, récupérer l'uuid exacte de l'extension et renommer ainsi le répertoire de l'extension. | À l'intérieur du répertoire ~/.local/share/gnome-shell/extensions/NomDeLExtension, récupérer l'uuid exacte de l'extension et renommer ainsi le répertoire de l'extension. | ||
| Ligne 81: | Ligne 83: | ||
| </code> | </code> | ||
| === redémarrer le système === | === redémarrer le système === | ||
| - | C'est l'opération la moins conviviale de cette méthode : il faut redémarrer Gnome. Le plus simple est de redémarrer le système. | + | C'est l'opération la moins conviviale de cette méthode : il faut redémarrer Gnome. Le plus simple est de redémarrer le système. (sur ubuntu 23.04 et supérieur, il suffit d'aller dans le "moniteur système" et d'arrêter la tâche "gnome-shell", gnome va redémarrer) |
| === Ouvrir gnome-extensions === | === Ouvrir gnome-extensions === | ||