Chaque fois que nous recommandons un logiciel gratuit et open source, il est très probable qu'une visite à son profil sur GitHub soit nécessaire. Malheureusement, l'interface de cette plateforme n'est pas très intuitive et souffre de quelques limitations importantes. L'une d'elles est que nous ne pouvons pas télécharger des dossiers indépendamment, ce qui nous oblige à obtenir le dépôt complet… à moins d'utiliser GitHub Download Directory.
Chez NeoTeo, nous cherchons constamment de nouveaux programmes, et tôt ou tard, cette recherche nous mène à GitHub. Notre priorité est le logiciel gratuit, portable et open source, mais GitHub sert aussi de « miroir » pour de nombreux modules secondaires, des modèles d'intelligence artificielle, des échantillons et d'autres ressources. Le problème est que ses fonctions de téléchargement sont limitées : par exemple, si nous avons besoin du contenu d'un dossier spécifique, GitHub ne permet pas son téléchargement individuel, et la seule façon est d'obtenir le dépôt entier. Heureusement, il existe une alternative.
Comment télécharger des dossiers GitHub avec GitHub Download Directory
En substance, GitHub Download Directory se charge de télécharger automatiquement tout le contenu d'un dossier et de préparer un fichier zip pour son stockage local. Il ne faut ni compte ni profil : tout ce qu'il demande, c'est l'URL exacte du dossier recherché. GitHub Download Directory ne préserve pas la structure d'origine, mais se concentre uniquement sur les fichiers.
Il ne reste plus qu'à attendre. Bien sûr, le temps nécessaire dépendra du nombre de fichiers, de leur taille et de la vitesse de la connexion, mais GitHub Download Directory ne semble pas avoir de limites strictes (il suffit de saisir un jeton personnel si le nombre de fichiers est gigantesque), et il a très bien réagi lors de nos tests.
GitHub Download Directory est une création des développeurs de Refined GitHub, une extension qui optimise et simplifie l'interface de ce site. La dernière fois que j'ai essayé de l'utiliser, elle ne m'a pas convaincu, mais GitHub Download Directory est un bon juste milieu, et il n'y a rien à télécharger pour l'utiliser.
Site officiel : Cliquez ici
