Valutazioni dell’editore: Valutazioni degli utenti:[Totale: 0 Media: 0].ilfs_responsive_below_title_1 { width: 300px; } @media(larghezza minima: 500px) {.ilfs_responsive_below_title_1 { larghezza: 300px; } } @media(larghezza minima: 800px) {.ilfs_responsive_below_title_1 { larghezza: 336px; } }
Questo tutorial spiega come utilizzare GitHub Code Search per trovare esattamente quello che stai cercando. Ricerca codice è come la ricerca avanzata di Twitter per GitHub. È in fase beta e permette di cercare frammenti di codice tra diversi repository utilizzando alcuni filtri. Puoi cercare il codice per data di modifica o in qualsiasi intervallo di date. Inoltre, puoi cercare un repository GitHub specifico per dimensione, fork, inizio e data di push.
Per funzionalità di ricerca complesse in GitHub, ora puoi utilizzare questo strumento integrato. Molti utenti ottengono l’accesso beta a questo potente strumento e la sua interfaccia è molto simile alla ricerca avanzata di Twitter.
Ecco l’elenco completo dei parametri di ricerca che ottieni con questo. Ora puoi cercare codice/utenti per:
Proprietari Data di creazione Linguaggi di programmazione Stars Forks Dimensione repository Data di push Estensione file licenza Dimensione file Percorso Stato problema (chiuso/aperto) Numero di commenti Etichette problema assegnate all’utente Aggiornamento problema prima della data Utente Posizione Numero di follower Numero di archivi pubblici Wiki Aggiornato prima della data
Per ora, puoi utilizzare questi parametri per cercare qualsiasi cosa su GitHub. Dagli utenti ai repository ai problemi, coprono tutto. Puoi persino trovare wiki e trovare utenti in base alla posizione. Tutto quello che devi fare è riempire le caselle di ricerca con i parametri appropriati e poi sei a posto.
Come usare GitHub Code Search per trovare esattamente quello che vuoi?
Come ho già detto, è in accesso beta, quindi è necessario un account GitHub per richiedere l’accesso a Code Search. Dopo che è stato abilitato per te, puoi semplicemente seguire questo URL e quindi verrà visualizzata l’interfaccia principale di questo strumento. L’interfaccia principale è semplice e assomiglia molto a Google.
Puoi espandere le altre opzioni facendo clic sulle opzioni di ricerca avanzate. Lo strumento di ricerca del codice finale avrà un aspetto simile a questo.
Ora, inizi a inserire le informazioni sui diversi parametri per cercare codice o utenti o repository. Ad esempio, se vuoi trovare tutti gli utenti dalla Francia che hanno più di 20 follower, allora farai qualcosa del genere.
Ora, premi invio e poi ti mostrerà i risultati. Puoi ripetere il processo di nuovo per trovare quello che stai cercando.
La cosa buona qui è che alcuni dei parametri possono accettare input di intervallo. Quindi, questo può essere utile nel caso in cui desideri filtrare i risultati. Basta specificare gli input richiesti e poi ciò che è buono è che genera anche una stringa di ricerca. Se in seguito qualcuno può creare un generatore di query di ricerca per GitHub, allora sarà una buona opzione in quanto non dovrai compilare manualmente le caselle di input.
Considerazioni finali:
Se lo fai spesso lotta con la normale ricerca GitHub per trovare un pezzo di codice o determinati utenti, allora la nuova ricerca del codice ti aiuterà. Mi è piaciuta la filosofia e il tipo di interfaccia avanzata che fornisce era necessaria per migliorare la funzionalità di ricerca sulla piattaforma. Personalmente mi è piaciuto e spero che escano rapidamente dalla fase beta e lo implementino presto all’interno di GitHub.