C'est ainsi que je télécharge diverses branches principales de GitHub, et je vise à avoir une plus jolie script (et peut-être plus fiable ?).
wget -P ~/ https://github.com/user/repository/archive/master.zip
unzip ~/master.zip
mv ~/*-master ~/dir-name
Cela peut-il être raccourci en une ligne d'une manière ou d'une autre, peut-être avec du goudron et du tuyau ?
Veuillez résoudre les problèmes de téléchargement directement dans le répertoire personnel ~/
et ayant un certain nom pour le répertoire (mv
vraiment nécessaire ?).
Réponse acceptée :
Le chemin le plus court qui semble être ce que vous voulez serait git clone https://github.com/user/repository --depth 1 --branch=master ~/dir-name
. Cela ne copiera que la branche principale, copiera le moins d'informations supplémentaires possible et les stockera dans ~/dir-name
.