From ec1eb8312e7c8d88c9917f16270b7625f116a73f Mon Sep 17 00:00:00 2001 From: 571dbad340ea01fac305f1ab040b07b7 <571dbad340ea01fac305f1ab040b07b7@app-learninglab.inria.fr> Date: Wed, 27 May 2020 13:34:22 +0000 Subject: [PATCH] Update JournalDeBord.md --- journal/JournalDeBord.md | 24 +++++++++++++++++++++++- 1 file changed, 23 insertions(+), 1 deletion(-) diff --git a/journal/JournalDeBord.md b/journal/JournalDeBord.md index 014a9f9..d3bfcee 100644 --- a/journal/JournalDeBord.md +++ b/journal/JournalDeBord.md @@ -1,3 +1,25 @@ # Markdown -\checkmark \ No newline at end of file +- [x] Overleaf en simple + +# Pandoc + +Convertisseur -> pandoc nom\_fichier.md -o nom\_fichier.pdf + +.pdf est l'extension voulue, peut être remplacé par .tex, .docx, ... + +# Git fonctionnement + +Commandes utiles : +- git add -> indique quelles modifs conserver +- git commit -> faire le checkpoint, c'est à dire enregistrer version actuelle (date, commentaire ) +- git diff SHA1(1) SHA1(2) -> regarde la différence entre 2 versions SHA1 +- git clone : Téléchargement git version sur local +- git push : soumet version local sur gitlab +- git pull : pour travail colaboratif, récupération dernière version +fusion /!\ peut y avoir des conflits +- git log/hist : arbre de l'historique +- git commit +- git merge + +SHA1 est une clé crypto + -- 2.18.1