Pourquoi la recherche Gnome ne trouve-t-elle pas vos fichiers ?
Eh bien, par défaut, Gnome n'indexe que les fichiers qui résident directement dans votre répertoire personnel ou dans les dossiers Bureau, Documents, Téléchargements, Musique, Images et Vidéos.
Existe-t-il un moyen de rechercher dans d'autres dossiers ?
Oui il y a.
Pour ajouter un dossier à l'index, ouvrez gnome-control-center , ouvrez le menu "Recherche", cliquez sur le petit symbole de roue dentée et passez à l'onglet "Autre". Vous pouvez maintenant ajouter un dossier de votre choix en cliquant sur le symbole plus, malheureusement cela ne fonctionne que pour les dossiers situés sur le même lecteur que votre dossier personnel.
Comment indexer des fichiers situés sur un lecteur différent de votre dossier personnel ?
Pour cela, vous devez lier le répertoire que vous souhaitez indexer à un dossier situé sur le lecteur de la maison.
Par exemple, utilisez :
cd ~/
mkdir ./searchdirectory
sudo mount --bind /some/directory ./searchdirectory
Pour le rendre permanent, vous devez écrire une nouvelle entrée dans "/etc/fstab".
Par exemple :
/some/directory /home/youruser/searchdirectory none bind 0 0