Site original : bfontaine.net
Il peut parfois être utile de synchroniser des dépôts Git sur diverses machines en local. Par exemple, si l'on possède un compte Github, et que l'une des machines n'a pas accès à Internet (c'est mon cas temporairement), on peut se synchroniser avec Github avec la machine connectée, puis synchroniser celle-ci avec la machine hors ligne.
Imaginons que l'on ai un ordinateur portable ayant accès à internet, accessible en local à l'adresse IP 192.168.1.20
, et un ordinateur fixe accessible en local à l'adresse IP 192.168.1.21
. Chacun de ces ordinateurs a un dépôt Git situé en /home/toto/MonProgTropBien/
. Il suffit d'utiliser git remote add
, pour ajouter un dépôt distant sur chacun des ordinateurs.
La syntaxe est la suivante (il faut être dans le répertoire du dépôt Git) :
git remote add <nom-remote> <nom-utilisateur>@<adresse>:<chemin-distant>
On tape donc la commande suivante sur le fixe :
git remote add laptop toto@192.168.1.20:/home/toto/MonProgTropBien
La commande est similaire sur le portable :
git remote add fixe toto@192.168.1.21:/home/toto/MonProgTropBien
Ensuite, il suffit de se placer dans le répertoire du dépôt Git, et d'utiliser git push fixe
sur le portable (ou git pull laptop
sur le fixe) pour envoyer les modifications sur le fixe, et git pull fixe
pour l'ingit push laptop
depuis le fixe). La commande git add remote
ne doit être exécutée que la première fois.
Cette manigit remote add <nom> <chemin-de-l'autre-dépôt>
).