16 points par kuroneko 2023-05-09 | 3 commentaires | Partager sur WhatsApp
  • La recherche de code GitHub, jusque-là proposée en preview, est désormais officiellement disponible.
  • Elle est environ deux fois plus rapide que la recherche de code existante et permet d’effectuer des recherches plus complexes, comme la recherche de symboles et la recherche par expressions régulières.
  • L’interface pour explorer le code a également été largement améliorée, ce qui facilite la recherche de code lié.

3 commentaires

 
pmc7777 2023-05-10

C’est vraiment très pratique. Rien que sur la vitesse, il n’y a pas photo.

 
kuroneko 2023-05-09

Honnêtement, l’ancienne recherche était incapable de retrouver même ce qui existait, donc il fallait au final cloner le dépôt pour pouvoir chercher.
La nouvelle recherche, elle, trouve exactement ce que je veux, donc c’est vraiment très pratique.

 
secret3056 2023-05-09

Pour l’ancienne recherche, si on l’ouvrait dans Codespaces et qu’on cherchait ensuite, il n’était pas nécessaire de cloner le dépôt.
Moi, j’utilisais surtout https://fr.news.hada.io/topic?id=1579.