Récupérer un dossier ou fichier d'un repo Git spécifique

Le problème exposé dans ce sujet a été résolu.

Bonjour :)

Je souhaite récupérer le dossier https://github.com/ryanoasis/nerd-fonts/tree/master/src/glyphs

Mais pour cela, je dois cloner le repo entier, il est un peu lourd (6.24 Gio).

Est-ce possible de récupérer uniquement le dossier nerd-fonts/tree/master/src/glyphs sans cloner le dossier entier ?

Cordialement

+0 -0

À titre de curiosité, "pour ta culture", tu peux limiter un git clone pour n’obtenir que la dernière révision d’une seule branche avec :

git clone --depth 1 --branch master --single-branch https://github.com/ryanoasis/nerd-fonts.git

Dans ce cas précis, ça divise quasiment par 6 la quantité de données téléchargées (1.06 Gio).

+2 -0

C’est effectivement l’option proposée dans le README.

Ils parlent même de cloner un sous répertoire :

$ git clone --filter=blob:none --sparse git@github.com:ryanoasis/nerd-fonts
$ cd nerd-fonts
$ git sparse-checkout add src/glyphs/
+2 -0

Juste pour clarifier. Le dossier n’est pas nerd-fonts/tree/master/src/glyphs mais nerd-fonts/src/glyphs. tree/master c’est le chemin d’accès par HTTP de GitHub. tree pour dire qu’on référence les fichiers, master … Car on référence les fichiers de la branche master.

+2 -0
Connectez-vous pour pouvoir poster un message.
Connexion

Pas encore membre ?

Créez un compte en une minute pour profiter pleinement de toutes les fonctionnalités de Zeste de Savoir. Ici, tout est gratuit et sans publicité.
Créer un compte