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”.

mkdir -p /quelquepart/depot/projet_test
cd /quelquepart/depot/projet_test
git 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”.

mkdir -p /autrepart/projet_test
cd /autrepart/projet_test
git init

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

git 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.

echo "#premiere version" > LISEZMOI.md
git add LISEZMOI.md
git 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)

git push --set-upstream origin master

C’est finit.

howto