Gnome : réorganiser les applications
Gnome3UbuntuUbuntu18.04Pour les pressés : bouton "ajouter à" grâce à l’extension Gnome "Appfolders Management ".
A force d’installer des applications, vous vous retrouvez avec plusieurs pages icônes sur le bureau des applications. En lancer devient fastidieux, même classées par ordre alphabétique ou avec l’outil de recherche.
C’est là qu’il devient intéressant de faire un peu de classement, en rangeant les applications dans des dossiers.
Mis en oeuvre avec Ubuntu 18.04 et Gnome 3.28.4
Pré-requis : extension "Appfolders Management"
Cette possibilité est offerte par l’extension "Appfolders Management extension" que vous devrez peut-être installer au préalable. C’est expliqué ici : Gnome : activation de l’extension "Appfolders Management".
Accès au menu "Ajouter à" des applications
Rendez-vous dans le bureau "Applications", grâce à l’icône "Afficher les applications"(le carré à 9 points).
Par un clique droit de la souris, positionné sur l’icône à ranger, vous accéder au menu "Ajouter à".
Choix d’une catégorie pré-existante
Si la catégorie est déjà visible, vous n’avez qu’à la choisir.
Super simple.
Choix d’une autre catégorie
Si la catégorie n’apparaît pas, c’est qu’elle correspond à un regroupement que vous n’utilisez pas encore.
Choisir alors "+Nouvel AppFolder".
Renseigner le nom du dossier (nom libre) et sélectionner la catégorie et l’éventuelle sous-catégorie.
Le dossier est alors créé. Il contient l’application manipulée, mais aussi automatiquement les autres applications existantes associées à cette catégorie.
Liste de catégories pré-établies
Le nommage des catégories n’est pas libre. Le choix se fait dans une liste pré-établie. Consultable ici : https://specifications.freedesktop.org/menu-spec/latest/apa.html
org.gnome.desktop.app-folders folder-children
Les curieux peuvent retrouver la liste des dossiers en consultant le paramètre "folder-children" (org.gnome.desktop.app-folders) grâce à l’application "dconf".
Le résultat
Des applications (presque) bien rangées !