Masquer les applications sur GNOME Shell avec l'extension « App Hider »

Parfois, je tombe sur une application, un script ou une extension qui fait quelque chose d'assez mineur dont la plupart des gens – même moi-même, parfois – n'auront pas besoin.

Et… j'ai un peu envie d'écrire à ce sujet.

En général, je ne le fais pas parce que le genre de commentaires que reçoivent ces messages me rebute.

Certaines personnes supposent que si je blogue sur quelque chose, j'essaie d'une manière ou d'une autre de suggérer que c'est « le meilleur » pour une tâche donnée. C'est rarement le cas ; J'aime simplement montrer les choix, sensibiliser les gens aux alternatives, faire apparaître différentes façons de faire les choses, etc.

Mais aujourd'hui, je me suis dit : ahh, peu importe, je vais y aller.

App Hider est une extension GNOME Shell qui vous permet de masquer tout raccourci d'application qui apparaît dans la grille Applications en cliquant dessus avec le bouton droit et en sélectionnant « Masquer ».

C'est ça

GNOME Shell propose déjà un moyen sans extension de le faire – ce que les utilisateurs d'iPhone font depuis des années : cacher des éléments dans les dossiers d'applications ! De cette façon, vous ne le voyez pas mais il reste installé.

Mais peut-être êtes-vous quelqu'un qui n'aime pas avoir des dossiers d'applications ? Ou c’est le cas, mais vous les aimez pleins de trucs pertinents ?

Si tel est le cas, cette extension est faite pour vous.

Je ne sais pas comment je me retrouve avec les raccourcis Imagemagick et Xterm dans ma grille Applications, mais c'est le cas. Vraisemblablement, ceux-ci sont installés en tant que sous-produit de quelque chose d'autre (je ne veux donc pas les désinstaller si une autre application en a besoin). Cependant, je ne veux pas continuer à les regarder.

Avant, je faisais glisser et déposais ces raccourcis indésirables dans le dossier d'application « Utilitaires » qu'Ubuntu (et GNOME en amont en général) propose par défaut. Hors de vue, hors de l'esprit. Mais avec cette extension ? Je fais juste un clic droit sur le raccourci, sélectionne « masquer » et bam, c'est parti.

Si vous pensez que l'extension GNOME App Hider pourrait vous gratter, vous pouvez l'installer à partir du site Web des extensions GNOME (via votre navigateur ou en utilisant l'excellente application Extension Manager). App Hider prend en charge GNOME 42 et supérieur, vous devrez donc utiliser Ubuntu 22.04 LTS ou version ultérieure pour l'utiliser.

Vous devrez vous déconnecter et vous reconnecter après avoir installé l'extension pour que l'option « Masquer » apparaisse dans le menu contextuel de la grille Applications ; tous les raccourcis que vous masquez à l'aide de cette extension réapparaissent lorsque l'extension est désactivée. Pour afficher un raccourci sans le désactiver, utilisez la boîte de dialogue des paramètres d'App Hider.

Aux lecteurs qui ont parcouru cette partie, permettez-moi de réitérer : je n'écris pas sur cette extension parce que je pense que c'est la plus importante jamais créée, et je ne suggère pas non plus qu'il s'agit d'une extension dont tout le monde a besoin. C'estunmanière de résoudre quelque chose (pour laquelle d’autres solutions existent).

Accueil / Actualités / Masquer les applications sur GNOME Shell avec l'extension 'App Hider'