Les meilleures extensions de shell gnome pour Ubuntu
Table des matières:
Si vous êtes un utilisateur d'Ubuntu, vous aimerez cet article que nous avons préparé pour vous présenter les cinq meilleures extensions GNOME Shell pour le système d'exploitation canonique avec lesquelles vous obtiendrez sûrement le système pour mieux s'adapter à vos goûts et préférences et éventuellement une plus grande productivité.
Les 5 meilleures extensions GNOME Shell pour votre Ubuntu
Dash to Dock
Tout d'abord, nous avons l'extension Dash to Dock qui vous permettra de placer le GNOME Dash en tant que dock de bureau au lieu de la barre latérale GNOME Shell caractéristique. Avec le nouveau dock, vous pourrez ajouter des lanceurs d'applications, les réorganiser, les utiliser pour minimiser les applications et basculer entre celles que vous avez ouvertes. Comme tout bon dock, vous pouvez le personnaliser en taille et en différents thèmes.
Dash to Dock sur les extensions GNOME
TopIcons Plus
Une extension qui résoudra le problème des anciennes applications avec des icônes qui nécessitent la barre des tâches, qui ont tendance à être cachées dans le coin inférieur gauche de GNOME Shell. Un effet désagréable qui complique l'utilisation de certaines applications telles que Skype, Franz, Telegram et Dropbox qui sont basées sur des icônes dans la barre des tâches.
TopIcons Plus sur les extensions GNOME
La caféine
Une extension qui est chargée de garder votre ordinateur éveillé, très utile si vous souhaitez empêcher l'économiseur d'écran et la suspension automatique d'apparaître sur votre ordinateur portable. Prend en charge GNOME Shell 3.4 ou supérieur.
Caféine sur les extensions GNOME
Terminal déroulant
Le terminal de commande Linux pratique mérite également une extension. Drop Down Terminal vous permettra d'accéder au terminal en appuyant sur quelques touches de votre clavier.
Drop Down Terminal sur les extensions GNOME
Défilement de l'espace de travail du panneau supérieur
Si vous êtes un utilisateur qui profite de plusieurs environnements de travail, cette extension vous permettra de basculer entre eux très rapidement avec un simple défilement dans le panneau supérieur.
Source: omgubuntu
Les meilleures extensions pour Google Chrome
Les meilleures extensions pour Google Chrome. Découvrez notre sélection avec les meilleures extensions actuellement disponibles pour le navigateur.
Les meilleures extensions Kanban pour Google Chrome
Les meilleures extensions Kanban pour Google Chrome. Découvrez cette sélection avec certaines des meilleures extensions pour utiliser cette méthode d'efficacité commerciale.
Les meilleures extensions pour tirer le meilleur parti de gmail
Les meilleures extensions pour tirer le meilleur parti de Gmail. Découvrez cette sélection avec les meilleures extensions pour Gmail.
