diff --git a/compte_rendu.txt b/compte_rendu.txt index c440ba8cce76eab680fdb9560934ab860a4f672c..093d05519137a1d799b54c496965ffefa28fe055 100644 --- a/compte_rendu.txt +++ b/compte_rendu.txt @@ -4,12 +4,14 @@ git init: permet de se lier au dépot local git log: permet de voir l'historique de notre dépot git status: permet de voir l'état de notre dépôt git commit -m: permet d'ajouter un commit -git add permet: d'ajouter la modification +git add: permet d'ajouter les modification apporter a un commit git clone: permet de clonner un dépot public git push -u origin master: sert a transferet les commit vers la boite de dépot public git commit: sert a valider les modification apporter au commit git config --global user.name: sert a se connecter a son depot gitlab depuis le terminal de commande git pull: sert a récupérer les modification faite par un autre membre travaillant sur le depot local - git remote add origin <url>: sert a fairele lien entre le dépot distant avec une url précise + git remote add origin <url>: sert a faire le lien entre le dépot distant avec une url précise git tag - a (nom fichier) -m 'tag qu'on veut donner': sert a etiqueter un commit grace a un tag - git tag -d sert a supprimer un tag + git tag -d sert a supprimer un tag si on le souhaite + git show : sert afficher des détails suplémentaire sur le git + git commit -a -m : permet d'ajouter un message au commit quant on le modifi se qui peut etre utile quand nous travaillons a plusieur et que des modification son faite