« Git/Création de votre dépôt local » : différence entre les versions
Contenu supprimé Contenu ajouté
Création avec git init et git clone |
|||
Ligne 43 :
Contrairement à ce qu'on a vu plus haut, nous n'allons pas utiliser <tt>init</tt> mais <tt>clone</tt> en se plaçant dans le répertoire dans lequel on souhaite placer son dépôt.
Lorsque vous faites un <tt>clone</tt>, vous copiez l'intégralité du dépôt, il est donc normal que cet opération prenne longtemps pour les projets qui ont un long historique de contribution. Par exemple, pour le dépôt officiel du logiciel MediaWiki (<tt>git clone https://git.wikimedia.org/git/mediawiki/core.git</tt>), il faudra
Dans notre exemple (toujours en travaillant dans le répertoire temporaire <tt>/tmp</tt>), nous allons nous créer une copie locale d'un dépôt officiel qui représente un exemple d'extension MediaWiki :
| |||