Outils pour utilisateurs

Outils du site


extensions-gnome

Différences

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

Lien vers cette vue comparative

Prochaine révision
Révision précédente
extensions-gnome [2022/04/17 12:12] – créée manuextensions-gnome [2024/07/06 18:44] (Version actuelle) – modification externe 127.0.0.1
Ligne 1: Ligne 1:
 ====== Extensions pour GNOME ====== ====== 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/) 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/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/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|
  
  
extensions-gnome.1650190345.txt.gz · Dernière modification : 2022/04/17 12:12 de manu