Hier, j'ai installé Ubuntu 18.04 et lorsque j'ai décidé de réorganiser les dossiers des activités, j'ai trouvé ceux-ci préexistants sans application assignée. Comment puis-je les supprimer?
Lancer le terminal et courir
gsettings get org.gnome.desktop.app-folders folder-children
Cela devrait lister tous les dossiers d'application actuellement utilisés.
Courir
gsettings set org.gnome.desktop.app-folders folder-children []
pour les supprimer tous.
Vous devrez peut-être redémarrer GNOME Shell en appuyant sur Alt+F2 puis en tapant r
et en appuyant sur Enter ou vous reconnecter pour voir l'effet.