Différences

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

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
extensions-gnome [Le 26/08/2023, 16:38]
176.180.81.207 Ajout d'une commande et mise à jour
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 }} |
  • extensions-gnome.txt
  • Dernière modification: Le 28/11/2023, 16:50
  • par 83.197.0.156