Gnome : activation de l’extension "Appfolders Management"

Gnome3UbuntuUbuntu18.04

Pour 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 !
Recherche de l'extension "Appfolders Management" dans la logithèque ubuntu
extension "Appfolders Management" dans la logithèque ubuntu
extension gnome "Appfolders Management"

Normalement, c’est terminé. Vous avez accès au menu "Ajouter à".
Dans le cas contraire, il y a encore une petite étape.

Appfolders Management extension : ajouter à

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".
org.gnome.shell disable-user-extensions = 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’]

org.gnome.shell disable-user-extension et enabled-extensions

Un message, un commentaire ?

Qui êtes-vous ?
Votre message
Mots-clés : Logiciels
Mots-clés : Linux

Pour créer des paragraphes, laissez simplement des lignes vides.