Différences

Ci-dessous, les différences entre deux révisions de la page.

--- 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 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]].
 ===== Exemples d'utilisation des extensions =====
@@ Ligne 37: / Ligne 37: @@
 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 ====
 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.
+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 }} |
@@ Ligne 68: / Ligne 69: @@
 unzip -d ~/.local/share/gnome-shell/extensions/NomDeLExtension Téléchargements/NomDeLExtension.zip
 </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 ===
 À 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>
 === 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 ===