Ok merci pour la réponse
je vais essayer bien que j'ai un doute
la commande gsettings m'a l'air globale; celle que tu proposes est spécifique pour chaque extensions;
mais si je l'active, faudra bien que la variable globale "disable-user-extensions" soit repositionnée à false;
et ça va reprendre toute celles qu'il y a dans le fichier .local/....?
par ailleurs, j'ai pas envie de faire le ménage brutalement ...
car aller les rechercher, parmi les 88 pages des extensions gnome, c'est fastidieux!
j'ai maintenant un bureau qui me plait bien, ça m'ennuie de tout refaire!
je vais essayer bien que j'ai un doute
la commande gsettings m'a l'air globale; celle que tu proposes est spécifique pour chaque extensions;
mais si je l'active, faudra bien que la variable globale "disable-user-extensions" soit repositionnée à false;
et ça va reprendre toute celles qu'il y a dans le fichier .local/....?
par ailleurs, j'ai pas envie de faire le ménage brutalement ...
car aller les rechercher, parmi les 88 pages des extensions gnome, c'est fastidieux!
j'ai maintenant un bureau qui me plait bien, ça m'ennuie de tout refaire!