Utilisation de GitHub Code Search (bêta)

À propos de l’utilisation de la nouvelle recherche de code (bêta)

Une fois que la bêta de la nouvelle recherche de code sera accessible, GitHub indexera tous les dépôts que vous détenez ainsi que ceux des organisations dont vous êtes membre, qu’ils soient publics, privés ou internes. Cela signifie que vous pouvez effectuer des recherches dans tous vos dépôts, en plus des dépôts publics déjà indexés sur GitHub.com. Seuls les utilisateurs autorisés à voir votre code sur GitHub.com pourront le voir dans les résultats de la recherche. Les duplications (forks) sont indexées et font l’objet de recherches de la même manière que les autres dépôts.

La totalité du code n’est pas indexée. Vous ne pouvez effectuer des recherches que dans les branches par défaut des dépôts. Pour plus d’informations sur les limitations connues, consultez « À propos de GitHub Code Search (bêta) ».

La bêta de la nouvelle recherche de code est intégrée à la bêta du nouveau mode Code. Pour plus d’informations sur la nouvelle vue de code, consultez « Navigation dans les fichiers avec le nouveau mode Code (bêta) ».

Utilisation de la barre de recherche

En plus du nouveau moteur de recherche de code, la bêta comprend une interface de recherche mise à niveau sur GitHub.com. À l’aide des suggestions, des complétions et des recherches enregistrées, vous pouvez trouver rapidement ce que vous cherchez, bien souvent sans avoir à taper complètement une requête, ou sans avoir à afficher la page des résultats de la recherche.

Pour plus d’informations sur la syntaxe de recherche de la nouvelle recherche de code (bêta), consultez « Présentation de la syntaxe de GitHub Code Search (bêta) ».

Notez que la syntaxe et les qualificateurs pour rechercher du contenu autre que du code, comme les problèmes, les utilisateurs et les discussions, fonctionnent comme avant. Pour plus d’informations sur la recherche sans code, consultez « À propos de la recherche sur GitHub » et « Recherche sur GitHub ».

1. Dans la zone de navigation supérieure de GitHub.com, cliquez dans la barre de recherche.

2. Sous la barre de recherche, vous pouvez voir une liste de suggestions organisées par catégorie, incluant notamment les recherches récentes et les dépôts suggérés ainsi que les équipes et les projets auxquels vous avez accès. Vous pouvez également voir une liste des recherches enregistrées que vous avez créées. Pour plus d’informations sur les recherches enregistrées, consultez « Création et gestion des recherches enregistrées ».

   

   Si vous cliquez sur l’une des suggestions spécifiques, vous êtes redirigé vers la page correspondant à cette suggestion (par exemple la page du dépôt ou du projet). Si vous cliquez sur une recherche récente ou enregistrée, en fonction du type de recherche, la requête de recherche apparaît dans la barre de recherche, ou vous êtes redirigé vers la page des résultats de la recherche correspondant au terme recherché.

3. Une fois que vous avez commencé à taper une requête de recherche, vous voyez s’afficher une liste de complétions et de suggestions correspondant à votre requête. Vous pouvez cliquer sur une suggestion pour accéder directement à un emplacement spécifique. Au fur et à mesure que vous tapez d’autres qualificateurs, vous voyez s’afficher des suggestions plus spécifiques, par exemple des fichiers de code auxquels vous pouvez accéder directement.

   

4. Une fois que vous avez tapé votre requête, vous pouvez également appuyer sur Entrée pour accéder à l’affichage complet des résultats de la recherche, où vous pouvez voir chaque correspondance ainsi qu’une interface visuelle permettant d’appliquer des filtres. Pour plus d’informations, consultez « Utilisation de l’affichage des résultats de la recherche ».

Création et gestion des recherches enregistrées

1. Dans la zone de navigation supérieure de GitHub.com, cliquez dans la barre de recherche et tapez saved:.
2. Sous la barre de recherche, la section « Recherches enregistrées » doit s’afficher. Cliquez sur Créer une recherche enregistrée.
3. Dans la fenêtre indépendante, indiquez le nom souhaité pour votre requête ainsi que la requête à enregistrer. Cliquez sur Créer une recherche enregistrée.
4. Si vous cliquez à nouveau dans la barre de recherche, vous pouvez désormais voir votre recherche enregistrée dans la section « Recherches enregistrées » sous la barre de recherche. Cliquez sur une entrée de recherche enregistrée pour ajouter la requête à la barre de recherche, et filtrer les suggestions de manière appropriée.
   • Pour modifier une recherche enregistrée, dans la section « Recherches enregistrées », cliquez sur à droite de la recherche enregistrée.
   • Pour supprimer une recherche enregistrée, cliquez sur à droite de la recherche enregistrée.

Utilisation de l’affichage des résultats de la recherche

L’affichage des résultats de la recherche existe déjà pour la recherche classique sur GitHub. Les fonctionnalités de la plupart des types de recherche, à l’exception du code, sont les mêmes. Une fois la bêta de la nouvelle recherche de code activée, la page des résultats de la recherche vous propose une IU repensée incluant des filtres pris en charge dans le nouveau moteur de recherche de code, par exemple les filtres de chemin et de symbole.

Pour construire une requête de recherche ainsi que pour voir et filtrer les résultats à l’aide d’une interface visuelle, vous pouvez utiliser page de recherche ou page de recherche avancée. Si vous appuyez sur Entrée après avoir tapé une requête de recherche dans la barre de recherche, vous êtes également redirigé vers l’affichage des résultats de la recherche.

Dans l’affichage des résultats de la recherche, vous pouvez naviguer entre les différents types de résultat de la recherche, par exemple le code, les problèmes, les demandes de tirage, les dépôts, etc. Vous pouvez également voir et utiliser des filtres.