Cet outil permet de personnaliser le bureau GNOME Ubuntu 22.04 avec des paramètres avancés
Vous souhaitez configurer la barre supérieure, le dock, la présentation et d'autres composants du shell Gnome avec plus de paramètres ? Shell Configurator est désormais mis à jour avec la prise en charge de GNOME 41 et 42.
Il s'agit d'une extension permettant d'ajouter, de supprimer, de configurer et de personnaliser GNOME Shell avec des paramètres avancés. Avec lui, vous pouvez :
- Sélectionnez Se connecter à un bureau vierge, à un aperçu ou à une grille d'applications.
- Masquer ou masquer automatiquement la barre supérieure.
- Afficher/masquer les éléments du panneau, par exemple, activités, horloge, menu d'application, menu système (menu agrégé).
- Modifier la hauteur de la barre supérieure.
- Déplacer la barre supérieure vers le bas.
- Activer/désactiver Dash (le dock).
- Supprimez le séparateur dans le Dock entre les applications favorites et en cours d'exécution.
- Afficher ou masquer la recherche dans l'aperçu.
- Définissez le nombre de lignes et de colonnes dans la grille de l'application.
- Changez la taille et la position du miroir.
- Modifiez la bulle de notification, la position OSD et le délai d'expiration.
- Afficher la nouvelle interface utilisateur de capture d'écran en haut.
Comment installer le configurateur Shell :
Pour Ubuntu 22.04, appuyez sur Ctrl+Alt+T sur le clavier pour ouvrir le terminal et exécutez la commande ci-dessous pour installer Extension Manager :
sudo apt install gnome-shell-extension-manager
Ensuite, cliquez sur « Activités » dans la barre supérieure, recherchez et ouvrez l'application :
Enfin, accédez à l'onglet « Parcourir », recherchez et cliquez sur installer l'extension « Shell Configurator » :
Pour ouvrir la boîte de dialogue des paramètres, revenez à l'onglet « Installé » dans Extension Manager et cliquez sur le bouton d'engrenage de l'extension.
Pour les autres éditions d'Ubuntu ainsi que Fedora, Debian avec GNOME, utilisez le commutateur marche/arrêt pour installer l'extension dans la page de liens ci-dessous, après avoir installé l'agent chrome-gnome-shell
:
sudo apt install chrome-gnome-shell
Configurateur Shell : https://extensions.gnome.org/extension/4254/shell-configurator/