support warcraft stone

Serveurs GIT pour la gestion des dépôts

Installation du client

https://git-scm.com/downloads

Commandes

Récupérer et envoyer ses fichiers

Se placer dans le répertoire du dépôt local puis l’initialiser :

git init

Ajouter  le dépôt distant :

git remote add origin https://gitlab.frebourg.es

Connaitre l’état du dépôt local

git status

Obtenir les fichiers du dépôt distant sur la branche master

git pull origin master

Ajouter puis envoyer les fichiers locaux  sur la branche master

git add .
git commit -a -m 'mon message'
git push origin master

Cloner

Cloner un dépôt dans le répertoire courant

git clone https://gitlab.frebourg.es/monDossier.git

Cloner un dépôt dans un répertoire

git clone https://gitlab.frebourg.es/monDossier.git monRepertoire

Changer de dépôt

Obtenir puis changer l’url du dépôt

git remote -v
git remote set-url origin https://gitlab.frebourg.es

Changer de branche

Changer de branche vers cherry et envoyer les fichiers

git branch
git checkout cherry
git push origin cherry

Modifier un fichier

 

echo message >> nomfichier
git diff