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 20/09/2022, 10:38] freechelmi [Fonctionnement] |
extensions-gnome [Le 28/11/2023, 16:50] (Version actuelle) 83.197.0.156 [Intégration au navigateur] |
||
---|---|---|---|
Ligne 16: | Ligne 16: | ||
À cette liste vient s’ajouter **Desktop icons** depuis Ubuntu [[:focal|20.04]]. Elle affiche les icônes sur le bureau en lieu et place de [[:Nautilus]].\\ | À cette liste vient s’ajouter **Desktop icons** depuis Ubuntu [[:focal|20.04]]. Elle affiche les icônes sur le bureau en lieu et place de [[:Nautilus]].\\ | ||
\\ | \\ | ||
- | Cette extension calamiteuse se remplace avantageusement par **Desktop icons New Generation** ( [[https://extensions.gnome.org/extension/2087/desktop-icons-ng-ding/|DiNG]] ) qui rétablit une certain nombre de fonctionnalités d'un bureau ( le glisser-déposer, entre autres ). | + | Cette extension calamiteuse se remplace avantageusement par **Desktop icons New Generation** ([[https://extensions.gnome.org/extension/2087/desktop-icons-ng-ding/|DiNG]]) qui rétablit un certain nombre de fonctionnalités d'un bureau (le glisser-déposer, entre autres). |
C'est d'ailleurs DING qui est proposée par défaut à partir de [[:hirsute|21.04]]. | C'est d'ailleurs DING qui est proposée par défaut à partir de [[:hirsute|21.04]]. | ||
===== Exemples d'utilisation des extensions ===== | ===== Exemples d'utilisation des extensions ===== | ||
Ligne 37: | Ligne 37: | ||
Ce mécanisme est compatible nativement avec le navigateur [[:Epiphany|GNOME Web]]. | Ce mécanisme est compatible nativement avec le navigateur [[:Epiphany|GNOME Web]]. | ||
- | <note warning>Avec Ubuntu 22.04 le navigateur Firefox est installé par paquet snap. rendant impossible l'installation d'extensions via le navigateur. il est donc conseillé d'utiliser l'utilitaire dédié dans les dépôts : **[[apt>gnome-shell-extension-manager]]** , voir aussi son [[https://github.com/mjakeman/extension-manager|github]].</note> | + | <note warning>Avec Ubuntu 22.04 le navigateur Firefox est installé par paquet snap. rendant impossible l'installation d'extensions via le navigateur. Il est donc conseillé d'utiliser l'utilitaire dédié dans les dépôts : **[[apt>gnome-shell-extension-manager]]** , voir aussi son [[https://github.com/mjakeman/extension-manager|github]]. Ou alors, il est possible de [[https://www.omgubuntu.co.uk/2022/04/how-to-install-firefox-deb-apt-ubuntu-22-04|passer à un firefox via un dépôt]].</note> |
==== Intégration au navigateur ==== | ==== Intégration au navigateur ==== | ||
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 === |