🇫🇷 Aperçu de GitHub Code Search

January 27, 2023
|

Voici un aperçu de la technologie de GitHub : GitHub Code Search

Une nouvelle expérience de recherche de code performante et innovante, à la sauce tabnine.com.

L'index de recherche actuel couvre plus de cinq millions des référentiels publics les plus populaires. De plus, les développeurs peuvent rechercher dans tous les référentiels privés auxquels ils ont accès. Imaginez que vous puissiez rechercher du code dans TOUS les produits de votre entreprise (les projets dont vous avez accès), sans devoir cloner et importer le code dans votre IDE.

5 fonctions de recherche pourraient nettement améliorer votre flux de travail :

  • Une recherche simple et un index optimisé qui vous aident à trouver exactement ce que vous cherchez.
  • Recherchez une chaîne exacte, avec prise en charge des correspondances de sous-chaînes et des caractères spéciaux, ou utilisez des regex.
  • Étendez vos recherches avec org: ou repo: et même avec des suggestions d'auto-complétion.
  • Affinez vos résultats à l'aide de filtres tels que language:, path:, extension: et les opérateurs booléens (OR, NOT).
  • Familiarisez-vous avec des fonctionnalités supplémentaires telles que l'arborescence des répertoires, les informations sur les symboles pour la portée active, le saut à la définition, la sélection pour la recherche, et plus encore !

Une liste complète des syntaxes prises en charge est disponible ici.

L'interface de recherche actuelle est distincte de l'expérience GitHub principale. Elle sera intégrée au site principal plus tard.

https://cs.github.com/about

Il existe actuellement certaines limitations notables. Tout d'abord, la fonctionnalité ne prend en charge que la recherche de contenu sur la branche par défaut et tout le contenu du référentiel n'est pas indexé.

Les limitations actuelles du code indexé sont :

  • Les fichiers de plus de 350 Kio sont exclus
  • Seuls les fichiers encodés en UTF-8 sont inclus
  • Les référentiels très volumineux peuvent ne pas être indexés

La société a l'intention de fournir une assistance pour récupérer tous les résultats de recherche via une API à l'avenir.

GitHub ne donne aucune garantie lors de l'aperçu sur la rapidité avec laquelle l'index est mis à jour après un nouveau push, mais indique qu'il est normalement consultable en quelques minutes.

Demander l'accès à GitHub Code Search et essayez le vous même !