Gnome : activation de l’extension "Appfolders Management"
Gnome3UbuntuUbuntu18.04Pour les pressés : logithèque ubuntu + autoriser les extensions utilisateurs.
Pour pouvoir ré-organiser le bureau des applications dans Gnome, le pré-requis est la disponibilité de l’extension "Appfolders Management extension".
Installation depuis la logithèque Ubuntu
L’installation se fait simplement depuis la logithèque Ubuntu.
Avec la recherche "gnome extension appf", vous tombez dessus !
Normalement, c’est terminé. Vous avez accès au menu "Ajouter à".
Dans le cas contraire, il y a encore une petite étape.
Autoriser les extensions utilisateurs
Il faut s’assurer que "disable-user-extensions" soit à "false".
Cela se fait avec l’utilitaire "dconf" (cf : Installation de l’éditeur "dconf").
Le paramètre "disable-user-extensions" est rangé dans la partie "org.gnome.shell".
Si à "true", passez le à "false".
Et voilà, au final, dans "dconf", vous pouvez vérifier que les paramètres sont valorisés comme ça :
- org.gnome.shell disable-user-extensions = false
- org.gnome.shell enabled-extensions = [’appfolders-manager@maestroschan.fr’]