Dans cet article, nous verrons comment créer un raccourci spécial pour ouvrir les options d'indexation dans Windows 10. Cela peut être utile si vous modifiez fréquemment les options d'index de recherche, par exemple, ajouter ou supprimer certains types de fichiers de la recherche . Voici comment cela peut être fait.
¿Cuánto cuesta salvar al mundo?
Publicité
Comme vous le savez peut-être déjà, les résultats de la recherche dans Windows sont instantanés car ils sont alimentés par l'indexeur Windows Search. Ce n'est pas nouveau pour Windows 10, mais Windows 10 utilise la même recherche basée sur l'indexeur que ses prédécesseurs, bien qu'il utilise un algorithme différent et une base de données différente. Il fonctionne comme un service qui indexe les noms de fichiers, le contenu et les propriétés des éléments du système de fichiers et les stocke dans une base de données spéciale. Il existe une liste désignée d'emplacements indexés dans Windows, ainsi que des bibliothèques qui sont toujours indexées. Ainsi, au lieu d'effectuer une recherche en temps réel dans les fichiers du système de fichiers, la recherche effectue une requête dans la base de données interne, ce qui permet d'afficher les résultats immédiatement.
Si cet index est corrompu, la recherche ne fonctionne pas correctement. Dans notre article précédent, nous avons examiné comment réinitialiser l'index de recherche en cas de corruption. Voir l'article:
Comment réinitialiser la recherche dans Windows 10
Vous pouvez créer un raccourci spécial pour ouvrir les options d'indexation en un seul clic dans Windows 10.
cómo conectarse al enrutador sin contraseña
Pour créer le raccourci Options d'indexation dans Windows 10 , procédez comme suit.
- Ouvrez le panneau de configuration .
- Type options d'indexation dans la zone de recherche du Panneau de configuration. L'élément «Options d'indexation» apparaîtra dans la liste.
- Maintenant, glissez-déposez-le sur votre bureau. Windows créera un nouveau raccourci pour vous. Voir la capture d'écran suivante:
Assez facile, n'est-ce pas?
Vous pouvez également créer le même raccourci manuellement à l'aide d'un Commande RunDll32 ou un Commande CLSID . Voyons comment cela peut être fait.
Créer manuellement un raccourci d'options d'indexation dans Windows 10
- Cliquez avec le bouton droit sur l'espace vide sur votre bureau. Sélectionnez Nouveau - Raccourci dans le menu contextuel (voir la capture d'écran).
- Dans la zone cible du raccourci, tapez ou copiez-collez la commande suivante:
rundll32.exe shell32.dll, Control_RunDLL srchadmin.dll
Vous pouvez également utiliser la commande suivante:
cómo cambiar de nombre en league of legends
shell de l'explorateur ::: {87D66A43-7B11-4A28-9811-C86EE395ACF7}
Ils font de même.
- Utilisez la ligne «Options d'indexation» sans guillemets comme nom du raccourci. En fait, vous pouvez utiliser n'importe quel nom. Cliquez sur le bouton Terminer lorsque vous avez terminé.
- Maintenant, cliquez avec le bouton droit sur le raccourci que vous avez créé et sélectionnez Propriétés.Dans l'onglet Raccourci, vous pouvez spécifier une nouvelle icône si vous le souhaitez. Vous pouvez utiliser l'icône du fichier c: windows system32 srchadmin.dll.
Cliquez sur OK pour appliquer l'icône, puis sur OK pour fermer la boîte de dialogue des propriétés du raccourci.
Maintenant, vous pouvez déplacer ce raccourci vers n'importe quel emplacement pratique, épinglez-le sur la barre des tâches ou sur Démarrer, ajouter à toutes les applications ou ajouter au lancement rapide (voir comment activer le lancement rapide ). Vous pouvez aussi attribuer un raccourci clavier global à votre raccourci.