Bonjour,
J'ai mis à jour ma machine récemment et installé Ubuntu 18.04
Il y a donc eu changement de gestionnaire de fenêtre vers Gnome. C'est sympa mais le manque d'option est vraiment agaçant ! Mon problème du moment est la recherche :
- Suite à l'installation, la recherche est activée mais on ne peut pas modifier grand chose (choix des dossiers à indexer en particulier), la petite roue crantée pour la configuration est grisée et bien sur aucune info/aide/explication
- Après une (…)