Skip to content
Snippets Groups Projects
Commit c8dd1189 authored by BayihaMbarga Dieudonne's avatar BayihaMbarga Dieudonne
Browse files

new compte_rendu

parent a9f1967e
Branches
No related tags found
No related merge requests found
Commandes vu le 10 fev
Pour comprendre l'utilisation de GIT
1. git config --global user.name "Votre Nom"
git config --global user.email "Votre Email"
2. git config --global credential.helper store
3. git init
4. git status
6. echo ".vscode/" >> .gitignore
git status
7. git add .
git status
8. git commit -m "Initialisation du dépôt"
9. git log --oneline
10. git log --oneline
Mise en place d'un dépot distant
1. git remote add origin <URL-du-depot-GitLab>
2. git remote -v
3. git push -u origin main
## Gestion des commits supplémentaires
1. git status
2. git add compte_rendu.txt
git commit -m "Mise à jour du compte rendu"
3. touch src/helloworld.ts src/io.ts
git add src/
git commit -m "Ajout de fichiers TypeScript"
git push
4. git rm src/helloworld.ts
git commit -m "Suppression du fichier helloworld.ts"
5. git mv src/io.ts src/entrees-sorties.ts
git commit -m "Renommage de io.ts en entrees-sorties.ts"
6. git status
7. git push
Finalisation et évaluation
1. git commit -m "Finalisation du compte rendu"
git push
2.
git tag -a v1.0 -m "Rendu final du compte-rendu"
git push origin --tags
Commandes vu le 03 mars
Clonage du depot distant
1. git clone https://gitlab.univ-lorraine.fr/login/tp-git.git
2. cd tp-git
ls -a
git status
2. Travail collaboratif et gestion des conflits
Situation 1 : Alice travaille seule, Bob met à jour son dépôt
Alice crée et ajoute un fichier alice.txt, fait un commit et un push.
Bob ne voit pas les modifications immédiatement. Il doit exécuter :
git pull
Après le pull, Bob voit les nouvelles modifications dans son dépôt local.
Situation 2 : Travail simultané sur différents fichiers
Cas 1 : Bob crée bob.txt pendant qu’Alice modifie alice.txt. Il fait un pull sans problème.
Cas 2 : Bob fait un commit local, mais Alice a modifié alice.txt avant lui.
Bob doit résoudre le conflit avec :
git merge origin/main
Ensuite, il peut faire un git push.
Cas 3 : Bob tente de pousser sans faire un pull d’abord → il est bloqué.
Solutions :
git pull
git merge origin/main
git push
Situation 3 : Travail sur le même fichier (conflit direct)
Alice et Bob modifient alice.txt en même temps.
Bob tente un git pull mais Git détecte un conflit.
Bob doit ouvrir alice.txt, résoudre le conflit, puis :
git add alice.txt
git commit -m "Résolution du conflit sur alice.txt"
git push
3. Règles d’or Git
Toujours committer avant de puller.
Toujours puller avant de pusher.
Régler les conflits manuellement en cas de besoin.
4. Conclusion et rendu
Tester les rôles d’Alice et Bob.
Ajouter les nouvelles commandes découvertes dans compte_rendu.txt.
Créer un tag de fin de TD :
git tag fin_tp
git push origin fin_tp
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment