Scribd
Importer
394 vues1 page

Guide Git: Configuration et Commandes Essentielles

Ce document fournit des instructions pour configurer et utiliser Git localement et à distance. Il décrit comment initialiser un dépôt local, effectuer des commits, cloner et mettre à jour un dépôt distant, et résoudre les conflits.

Transféré par

Georges Landa
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
394 vues1 page

Guide Git: Configuration et Commandes Essentielles

Ce document fournit des instructions pour configurer et utiliser Git localement et à distance. Il décrit comment initialiser un dépôt local, effectuer des commits, cloner et mettre à jour un dépôt distant, et résoudre les conflits.

Transféré par

Georges Landa
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

git config --global user.

name "Prénom Nom"


git config --global [Link] votre@adresse
git config --global [Link] simple
Config AIDE - MÉMOIRE
(1 fois) git config --global [Link] cache
git config --global [Link] "evim -f" ou notepad sous Windows

Opérations locales (à effectuer dans le répertoire du projet)


Documentation
Initialisation du dépôt Commit (tous les fichiers)
git help [commande]
git init git add .
evim .gitignore git commit
Informations Comparaisons
Dans le cas d'un projet Bluej, Commit (fichiers spécifiques) git log git status
ce fichier est déjà créé par la
version de Bluej installée git add fichier(s) git show git diff
dans les salles de TP. git commit gitk meld .
Peut aussi être utilisé pour
Utilisation d'un dépôt distant (identifié par une url) la résolution de conflits
local → distant distant → local Résolution des conflits
er
1 push (sauf si le dépôt a été cloné) Clonage du dépôt git status
git remote add origin url git clone url
evim fichier
git push -u origin master git add fichier
Récupération des
Push ultérieurs (pour le même dépôt) derniers commits git commit Pour chaque
fichier contenant
git push git pull git push des conflits.

Documentation détaillée : [Link]

Vous aimerez peut-être aussi