Outils pour utilisateurs

Outils du site


extensions-gnome

Extensions pour GNOME

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/)

Par défaut il est plutôt léger et presque vide, ce qui plaît à certain. C'est d'ailleurs l'environnement de bureau d'Ubuntu.

Voici donc une liste d'extensions pour GNOME que j'utilise (soit avec Ubuntu et donc parfois préinstallée, soit sur un ordinateur avec Debian) :

Nom de l’extension Utilité de l’extension
Desktop IconsPermet d'afficher des icônes sur le bureau (répertoire utilisateur, corbeille et fichiers), ce qui n'est pas possible par défaut.
GSConnect Extension basée sur l'extension de KDE (environnement de bureau) s'appelant KDE Connect (permet de synchroniser un appareil Android avec l'application KDEConnect)
UbuntuAppIndicatorBon, ça c'est un truc de base, je suppose que c'est juste une modification d'Ubuntu par rapport à GNOME.
Ubuntu DockCette extension fournie par Ubuntu permet une légère personnalisation du dock, mais c'est vraiment très limité par rapport à l'extension Dash-to-Dock de GNOME

Listes d’articles listant des extensions

- Capture d'écran listant les extensions de @gllmhyt@pouet.it : https://pouet.it/@gllmhyt/106442339396068500

extensions-gnome.txt · Dernière modification: 2022/04/17 12:42 de manu