Principal Windows 10 Créer un raccourci d'options d'indexation dans Windows 10

Créer un raccourci d'options d'indexation dans Windows 10



Laisser une réponse

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

Options d

Pour créer le raccourci Options d'indexation dans Windows 10 , procédez comme suit.

  1. Ouvrez le panneau de configuration .
  2. Type options d'indexation dans la zone de recherche du Panneau de configuration. L'élément «Options d'indexation» apparaîtra dans la liste.Icône de raccourci des options d
  3. Maintenant, glissez-déposez-le sur votre bureau. Windows créera un nouveau raccourci pour vous. Voir la capture d'écran suivante:Icône de changement de raccourci des options d

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

  1. 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).
  2. 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.

  3. 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é.
  4. 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.

Des Articles Intéressants

Choix De L'Éditeur

Comment installer Discord sur PS4
Comment installer Discord sur PS4
L'application Discord est devenue si populaire parmi les joueurs qu'elle a à peine besoin d'être présentée. Avec des millions d'utilisateurs dans le monde entier, Discord est l'une des meilleures plates-formes pour la communication audio, vidéo, image et texte entre les utilisateurs.
Comment utiliser la boussole dans Google Maps
Comment utiliser la boussole dans Google Maps
Google Maps est l'une des applications de navigation les plus populaires avec d'innombrables fonctionnalités conviviales. Ces dernières années, il a introduit plusieurs nouvelles fonctionnalités pour améliorer l'expérience de ses utilisateurs. En 2021, le programme a ramené la boussole bien-aimée
Comment récupérer des photos supprimées définitivement d'iCloud
Comment récupérer des photos supprimées définitivement d'iCloud
Vous pourrez peut-être récupérer ces photos importantes, en fonction de l'endroit où elles ont été enregistrées et de la rapidité avec laquelle vous agissez.
Comment ajouter du stockage supplémentaire à Steam Deck
Comment ajouter du stockage supplémentaire à Steam Deck
Le moyen le plus simple d'ajouter du stockage à un Steam Deck consiste à insérer une carte SD et à la formater, mais vous pouvez également remplacer le SSD ou utiliser un lecteur USB-C externe.
Comment activer le mode navigation privée dans Chrome, Edge, Firefox, Safari et Opera
Comment activer le mode navigation privée dans Chrome, Edge, Firefox, Safari et Opera
La manière d'activer le mode navigation privée varie d'un navigateur à l'autre. Voici comment l'activer pour pouvoir naviguer en privé.
Comment activer le mode Niveaux de gris dans Windows 10
Comment activer le mode Niveaux de gris dans Windows 10
Découvrez comment activer le mode Niveaux de gris dans Windows 10. Il fait partie de la fonction Filtres de couleur du système Ease of Access conçu pour améliorer la convivialité du système d'exploitation.
Examen du Chromebook 13 7310 Dell : Le Chromebook Pixel de classe affaires
Examen du Chromebook 13 7310 Dell : Le Chromebook Pixel de classe affaires
Le Chromebook Pixel de Google a tout changé. Malgré leur prix stratosphérique, il a prouvé une fois pour toutes que les Chromebooks pouvaient être tout aussi souhaitables, sinon plus, que les meilleurs ordinateurs portables haut de gamme. Maintenant que Chrome OS fait des percées