Notes de l’éditeur : Notes des utilisateurs : [Total : 0 Moyenne : 0].ilfs_responsive_below_title_1 { width : 300px ; } @media(min-width : 500px) {.ilfs_responsive_below_title_1 { largeur : 300px ; } } @media(min-width : 800px) {.ilfs_responsive_below_title_1 { largeur : 336px ; } }
Ce tutoriel explique comment utiliser GitHub Code Search pour trouver exactement ce que vous cherchez. La recherche de code est comme la recherche avancée de Twitter pour GitHub. Il est en phase bêta et vous permet de rechercher des extraits de code parmi différents référentiels à l’aide de certains filtres. Vous pouvez rechercher le code par date de modification ou entre n’importe quelle plage de dates. De plus, vous pouvez rechercher un référentiel GitHub spécifique par taille, fourches, démarrages et date de poussée.
Pour les fonctionnalités de recherche complexes dans GitHub, vous pouvez désormais utiliser cet outil qui y est intégré. De nombreux utilisateurs obtiennent l’accès bêta à cet outil puissant et son interface ressemble à peu près à la recherche avancée de Twitter.
Voici la liste complète des paramètres de recherche que vous obtenez avec ceci. Vous pouvez désormais rechercher des codes/utilisateurs par :
Propriétaires Date de création Langages de programmation Stars Forks Taille du référentiel Date d’envoi Extension du fichier de licence Taille du fichier Chemin État du problème (fermé/ouvert) Nombre de commentaires Libellés du problème attribués à l’utilisateur Date de mise à jour du problème avant l’utilisateur Emplacement Nombre d’abonnés Nombre de dépôts publics Wiki mis à jour avant la date
Pour l’instant, vous pouvez utiliser ces paramètres pour rechercher n’importe quoi sur GitHub. Des utilisateurs aux référentiels en passant par les problèmes, ils couvrent tout. Vous pouvez même trouver des wikis et trouver des utilisateurs par emplacement. Tout ce que vous avez à faire est de remplir les champs de recherche avec les paramètres appropriés et vous êtes tous prêts à partir.
Comment utiliser la recherche de code GitHub pour trouver exactement ce que vous voulez ?
Comme je l’ai déjà dit, il est en accès bêta, vous avez donc besoin d’un compte GitHub pour demander l’accès à Code Search. Une fois qu’il a été activé pour vous, vous pouvez simplement suivre cette URL, puis l’interface principale de cet outil s’affichera. L’interface principale est simple et ressemble à peu près à Google.
Vous pouvez développer davantage d’options en cliquant sur les options de recherche avancées. L’outil de recherche de code final ressemblera à ceci.
Maintenant, vous commencez à saisir les informations sur les différents paramètres pour rechercher du code, des utilisateurs ou des référentiels. Par exemple, si vous voulez trouver tous les utilisateurs de France qui ont plus de 20 abonnés, vous ferez quelque chose comme ça.
Maintenant, appuyez sur Entrée et il vous montrera les résultats. Vous pouvez répéter le processus pour trouver ce que vous cherchez.
La bonne chose ici est que certains des paramètres peuvent prendre des entrées de plage. Cela peut donc être utile si vous souhaitez filtrer les résultats. Spécifiez simplement les entrées requises, puis ce qui est bien, c’est qu’il génère même une chaîne de recherche. Si plus tard quelqu’un peut créer un générateur de requêtes de recherche pour GitHub, alors ce sera une bonne option car vous n’aurez pas à remplir les champs de saisie manuellement.
Réflexions finales :
Si vous avez souvent Si vous avez du mal avec la recherche GitHub habituelle pour trouver un morceau de code ou certains utilisateurs, la nouvelle recherche de code vous aidera. J’ai aimé la philosophie et le type d’interface avancée qu’elle fournit était nécessaire pour améliorer la fonctionnalité de recherche sur la plate-forme. Personnellement, je l’ai aimé et j’espère qu’ils sortiront rapidement de la phase bêta et l’implémenteront bientôt directement dans GitHub.
