Présentation de l’aperçu technique de GitHub Code Search

 (github.blog)
5 points par xguru 2021-12-10 | 2 commentaires | Partager sur WhatsApp

  • Nouvelle fonctionnalité de recherche de code : indexation du code de 5 millions de dépôts publics, avec en plus la possibilité de rechercher dans les dépôts privés auxquels on a accès

  • Un index optimisé pour le code et un classement intelligent pour trouver rapidement le code recherché

  • Prise en charge de la correspondance de mots, de sous-chaînes, des caractères spéciaux et des expressions régulières

  • Définition du périmètre de recherche avec org: et repo: notamment. Prise en charge de l’autocomplétion

  • Filtrage avec language:, path:, extension: ainsi que OR, NOT, etc.

  • Recherche de définitions de symboles avec symbol:

  • Utilisable uniquement après inscription sur la liste d’attente puis activation

À lire aussi

2 commentaires

 
ffdd270 2021-12-10

https://grep.app/

Ça donne l’impression d’une version étendue de ce projet. Le développeur l’avait déjà publié sur Show HN, et c’est ce projet légendaire pour lequel le CTO de GitHub avait demandé s’il pouvait le recruter (...)
 
xguru 2021-12-10

J’ai moi aussi essayé de voir où ce développeur ( @danfox ) était allé ensuite, mais je n’ai trouvé aucune trace.