Le shell Gnome a un design épuré. Mais de nombreux utilisateurs souhaitent tirer davantage parti de l’environnement de bureau. Le système d’extension de Gnome 3 peut aider les utilisateurs à personnaliser grandement l’apparence du shell Gnome. Dans cet article, nous résumons 6 extensions que nous avons considérées comme essentielles pour rendre Gnome Shell génial.
Table des matières
Rendre l’onglet Alt « classique » au lieu de regrouper les fenêtres par application. Il remplace Alt-Tab par un sélecteur basé sur une fenêtre.
Cette extension est officiellement prise en charge par Gnome.
Lien : https://extensions.gnome.org/extension/15/alternatetab/
Dash to Dock
Une extension de dock pour le shell Gnome. Ajoutez dock au bureau pour un lancement plus facile des applications et une commutation plus rapide entre les fenêtres. Bon pour les grands écrans.
Lien: https://extensions.gnome.org/extension/307/dash-to-dock/
Moniteur système
Surveillez le PROCESSEUR système / Mem/Net /plus d’utilisation dans la barre d’état du shell gnome.
Lien: https://extensions.gnome.org/extension/120/system-monitor/
Thèmes utilisateur
Nous voulons personnaliser le thème du shell. Ce plugin permet à Gnome Shell de charger des thèmes shell à partir du répertoire utilisateur.
Lien: https://extensions.gnome.org/extension/19/user-themes/
Panneau OSD
Notifications de l’écran de contrôle apparaissant à l’emplacement. Juste montrer au-dessus de la barre d’état des messages est un peu gênant.
TopIcons
Déplacez les icônes de la barre d’état vers le haut « classique ».
Lien: https://extensions.gnome.org/extension/495/topicons/
Avec ces extensions, le shell Gnome est bien meilleur, en particulier pour les anciens utilisateurs de Linux qui connaissent les environnements de bureau » classiques ».