@@ -2,9 +2,22 @@ git config --global user.email <adresse mail> : permet de configurer l'adresse m
...
@@ -2,9 +2,22 @@ git config --global user.email <adresse mail> : permet de configurer l'adresse m
git config --global user.name <nom d'utilisateur> : permet de configurer le nom d'utilisateur pour tous les dépôts git
git config --global user.name <nom d'utilisateur> : permet de configurer le nom d'utilisateur pour tous les dépôts git
git init : permet de lier le dossier nouvellement créé à un dépôt local
git init : permet de lier le dossier nouvellement créé à un dépôt local
git log : permet de voir l'historique du dépôt
git log : permet de voir l'historique du dépôt
git status : permet de voir l'état du dépôt
git status : permet de voir l'état du dépôt, c'est-à-dire les fichiers nouvellement ajoutés et/ou ceux qui no'ont pas encore été validés
git add <fichier> : permet de sélectionner un fichier pour qu'il soit enregistré dans le dépôt
git add <fichier> : permet de sélectionner un fichier pour qu'il soit enregistré dans le dépôt
git commit -m : permet de valider le suivi d'un fichier
git commit -m : permet de valider le suivi d'un fichier (Par exemple "Validation Exo1")
git add * : permet d'exclure des fichiers des commit, c'est-à-dire que le terminal n'affichera pas les modifications non validées
git add * : permet d'exclure des fichiers des commit, c'est-à-dire que le terminal n'affichera pas les modifications non validées
git remote add origin <url> : permet de faire le lien vers un dépôt distant à une url précise. origin est un alias pouvant être remplacé par n'importe quel nom
git remote add origin <url> : permet de faire le lien vers un dépôt distant à une url précise, c'est-à-dire que l'on dit au terminal vers où envoyer les fichiers. origin est un alias pouvant être remplacé par n'importe quel nom
git push -u origin master : permet de copier le dépôt local vers le dépôt distant. master est la branche créée à l'initialisation du projet par git init
git push -u origin master : permet de copier le dépôt local vers le dépôt distant. master est la branche créée à l'initialisation du projet par git init
cd .. : permet de revenir au répertoire parent (Par exemple, revenir au répertoire TD1 si l'on était dans le sous-répertoire Exo2)
git pull : permet de récupérer les modifications apportées à un fichier ajouté sur un dépôt distant; utilisé dans le cas où au moins deux personnes travaillent sur un dépôt, pour que chacun puisse avoir accès au travail des autres
git push : permet de déposer les modifications apportées à un fichier sur un dépôt distant; également utilisé dans le cas où au moins deux personnes travaillent sur un dépôt, pour que chacun puisse avoir accès au travail des autres
git tag : permet d'étiqueter certaines étapes importantes (Par exemple la fin d'un travail)
git remote get-url --push origin : permet de vérifier à quelle url sont envoyés les fichiers
git remote set-url origin <url> : permet de définir définitivement à quelle url doivent être envoyés les fichiers (Par exemple git remote set-url origin
mv <ancien nom de répertoire> <nouveau nom de répertoire> : permet de changer le nom d'un répertoire (Par exemple mv r203_depot_de_base r203_tp_branches)
git branch : permet de voir toutes les branches créées sur un dépôt
git branch <nom de la branche> : permet de créer une nouvelle branche sur un dépôt (Par exemple git branch experimental)
git checkout <nom de la branche> : permet de basculer sur la nouvelle branche pour travailler dessus (Par exemple git checkout experimental)
ls -la : permet de voir quels commits sont présents sur une branche
git merge <nom de la branche> : permet de fusionner deux branches
