Home
Bienvenue sur le Wiki Q4 EPL
il existe 3 façons communes pour éditer les documents sur github, elles sont listés dans un ordre croissant de difficulté. Plus de difficulté peut vous sembler comme inutile voir vous rebute à essayer ces manières, mais elles vous seront plus utiles. En effet, dans les deux dernières manières, vous posséderez les fichiers en local, vous pourrez avoir votre propre version du github. Vous gagnerez en liberté et les compétences que vous acquerrez vous seront cruciaux dans un futur pas si lointain.
Tout d'abord assurez vous d'avoir tout fait comme mentionner dans Getting Stared, pour l'étape 1, tu peux ne faire que la première étape.
- Simplement utiliser Github, en effet c'est la manière la plus simple et rapide d'éditer un document rapidement (ce document est actuellement rédigé en markdown et modifié sur Github)
- Utiliser un GUI pour git. Un GUI est une interface graphique de GIT qui est souvent plus simple à comprendre pour les personnes découvrant GIT. Je te recommande Github desktop qui est plutôt utile pour travailler en tandem sur ton pc en local et sur github
- Le Graal aka Git en ligne de commande. Non seulement tu as l'air d'un hacker trop stylé à
faire des recherches googletaper des commandes dans un terminal mais tu gagneras aussi en rapidité et capacité.
-
git commit -apour commit toutes les modifications -
git add --allpour ajouter tous les documents du répertoire -
git pushpour publier votre commit sur votre fork -
git branch <name>pour créer une branche utile pour travailler sur votre synthèse et avoir le main toujours à jour -
git checkout <branch>/<commit>pour sélectionner une ou en particulier -
git rebase <branch>pour mettre une en tête de fil de votre branche actuelle -
git cherry-pick <commit>pour dupliquer un commit et le mettre devant tout -
git mergetoolpour solutionner les merges issues avec un gui
