Le géant du code sharing GitHub a mis en place une nouvelle barre de recherche qui est beaucoup plus qu'une simple barre de recherche. C'est une interface en ligne de commande pour naviguer sur le site.
Cette nouvelle fonctionnalité vise clairement ceux qui sont habitués à travailler avec Git via la ligne de commande. Mais même si vous êtes un amateur avec le terminal, cet outil est incroyablement utile pour trouver rapidement ce que l'on cherche et en particulier pour les accrocs de la navigation au clavier.
Pour utiliser la nouvelle barre de commandes, il suffit d'appuyer sur l'image d'aide et vous obtiendrez une liste des commandes disponibles. La plupart des choses que vous voudriez faire sur GitHub y sont intégrées:
- Voir le profil d'un utilisateur : @username
- Voir un repo : user/repo
- Voir les repos d'un utilisateur : user/
- Voir les issues : user/repo #
Comme tout bon terminal, GitHub recherche de nouveaux éléments par complétion avec la touche tabulation. Et si vous êtes connecté, vous aurez aussi accès à un historique de vos commandes avec les flèches du haut et du bas.
Pour plus de détails, consultez le billet dédié sur le blog de GitHub.
MISES A JOUR DE L'ARTICLE |