« Git » : différence entre les versions

Aucun résumé des modifications
Ligne 32 : Ligne 32 :
</syntaxhighlight>
</syntaxhighlight>
<br>
<br>


===Soumission===
===Soumission===

Version du 27 juin 2023 à 20:05

<keywords content="git,gestion de configuration" />

Configuration

Modifier l'éditeur de git

git config core.editor "xemacs"


Modifier l'outil de merge

git config merge.tool kdiff3


Soumettre des modifications

Ajout des modifications en local (staging)

git add .


Suppression des modifications faites en local

git reset --hard HEAD


Suppression des fichiers non suivis par git en local

git clean -f -d


Soumission

# l'option -a fait aussi l'ajout des modifications dans l'index
# équivalent de git add . suivi de git commit
git commit -a


Modifier le commentaire du dernier commit

git commit --amend "nouveau commentaire"


Poser un label

git tag <nameoftag> <name of commit>


Mettre à jour le label distant

git push <REMOTE> <name of tag>

Mettre à jour la branche distante

git push <REMOTE> <name of branch>


Liens Externes