Différences

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

--- extensions-gnome [2022/04/17 12:12] – créée manu
+++ extensions-gnome [2024/07/06 18:44] (Version actuelle) – modification externe 127.0.0.1
@@ Ligne 1: / Ligne 1: @@
 ====== Extensions pour GNOME ======
-<note important>À compléter</note>
 GNOME est un DE (Desktop Environnement = Environnement de bureau) pour les distributions GNU/Linux est est personnalisable via un système d'extensions (trouvables ici : https://extensions.gnome.org/)
@@ Ligne 13: / Ligne 11: @@
 |[[https://extensions.gnome.org/extension/1319/gsconnect/|GSConnect]]| Extension basée sur l'extension de KDE (environnement de bureau) s'appelant [[https://kdeconnect.kde.org/|KDE Connect]] (permet de synchroniser un appareil Android avec l'application [[https://kdeconnect.kde.org/download.html|KDEConnect]])|
 |[[https://extensions.gnome.org/extension/615/appindicator-support/|UbuntuAppIndicator]]|Bon, ça c'est un truc de base, je suppose que c'est juste une modification d'Ubuntu par rapport à GNOME.|
-|[[https://extensions.gnome.org/extension/1300/ubuntu-dock/|Ubuntu Dock]]|Cette extension fournie par Ubuntu permet une légère personnalisation du dock, mais c'est vraiment très limité par rapport à l'extension (jsp le nom).|
+|[[https://extensions.gnome.org/extension/1300/ubuntu-dock/|Ubuntu Dock]]|Cette extension fournie par Ubuntu permet une légère personnalisation du dock, mais c'est vraiment très limité par rapport à l'extension [[https://extensions.gnome.org/extension/307/dash-to-dock/|Dash-to-Dock]] de GNOME|