Git local

lundi 2 décembre 2019 · 1 minute · 166 mots

On n’est pas obligé d’utiliser Git avec un dépôt sur un serveur : on peut tout à fait avoir les avantages de Git (la gestion des versions) en utilisation locale, sans serveur distant. Pour cela, on définit un dépôt quelque part sur son disque dur avec l’option de commande “bare init”.

1mkdir -p /quelquepart/depot/projet_test
2cd /quelquepart/depot/projet_test
3git init --bare

Une fois le dépôt initialisé, on va se mettre dans son dossier de travail et initier la gestion de version avec l’option “init”.

1mkdir -p /autrepart/projet_test
2cd /autrepart/projet_test
3git init

Maintenant on attache notre dossier de travail avec le dépôt pour nous permettre de synchroniser nos modifications.

1git remote add origin file:////quelquepart/depot/projet_test

On peut maintenant utiliser Git pour ajouter des fichiers, les modifier et garder trace de tous cela.

1echo "#premiere version" > LISEZMOI.md
2git add LISEZMOI.md
3git commit

On pousse nos modifications vers le dépôt en spécifiant la branche cible (seulement la première fois, ensuite un “git push” suffit)

1git push --set-upstream origin master

C’est finit.

Howto