Nous allons apprendre à gérer simplement les extensions GNOME qui sont présentes sur le système dans Ubuntu.
Pour le faire de manière simple et rapide, il est préférable de passer par le terminal et de taper la commande :
sudo apt install gnome-shell-extension-manager
Une fois que ceci est terminé, il devrait y avoir une application similaire à ceci :
En l'ouvrant, on obtient la chose suivante :
Par défaut, Ubuntu fournit un lot d'extensions qui permettent dans l'ordre de :
- Afficher/Gérer des icones sur le bureau
- Afficher les applications qui tournent en fond sur le système en haut à gauche (Steam, Discord...)
- Proposer une barre des tâches sur le côté droite de l'écran
- Simplifier la navigation entre les applications ouvertes avec un fonctionnement similaire à celui de Windows
Il est possible depuis cet outil de désactiver, installer et configurer les extensions en toute simplicité, il est important de noter cependant que les mises à jour du système peuvent casser celles-ci en dehors de quatres options proposées par défaut par Ubuntu.