article

Extensions Gnome pour bien démarrer

Par  Benjamin

Publié le 2 novembre 2023

Retrouvez-nous sur BlueSky, Facebook et Mastodon.

Pour profiter de Gnome nous pouvons en modifier le comportement de base grâce aux différentes extensions disponibles sur extensions.gnome.org. Si vous utilisez Firefox vous pourrez activer directement vos nouvelles extensions depuis le navigateur avec l'ajout du plugin Gnome Shell. Pour cet article je pars du principe que vous êtes sur une version 43 ou 44 de Gnome. Ici, je vous partage mes choix indispensables selon moi, et venant de Mac OS j'ai voulu retrouver le même confort visuel et d'usage. Forcément Gnome est différent mais déjà nous pouvons retrouver un Dock avec l'extension Dash to Dock qui changement le comportement du Dock par défaut, et au final il fonctionnera presque comme celui d'Apple (avec beaucoup d'options possibles). Ensuite, j'ai changé le menu Activités par Space Bar, qui vous offre un visuel et une indication du bureau sur lequel vous êtes, c'est en haut à gauche. Avec Gnome 45, l'OS offrira normalement une gestion des bureaux, donc cette dernière extension pourrait disparaître à l'usage, à voir.

Panneau de configuration des extensions.

Avant-dernière extension Tiling Assistant, qui vous permettra d'aller plus loin dans la gestion des snaps de fenêtres, très pratique, et ajoute des fonctions manquantes à Gnome. Pour finir, Blur my Shell qui intègre un effet de flou dans différentes zones de l'OS à la manière d'Apple. Par exemple dans l'affichage du panneau des applications, on est d'accord c'est que du custum visuel mais qui remplace le fond gris si triste ! Donc si vous débarquez sur GNU/Linux avec Gnome, la plus belle interface (troll), ces 4 extensions vous feront forcément plaisir, en plus d'être pratique. Vos extensions : Dash to Dock / Space Bar / Tiling Assistant / Blur-my-Shell
Crédit image header : Craig McLachlan