From b43fcfcf82dac15c8e51993e3f1b532000dd1e1b Mon Sep 17 00:00:00 2001 From: 4bb0f49ad7e02c93b7804cb2c6776886 <4bb0f49ad7e02c93b7804cb2c6776886@app-learninglab.inria.fr> Date: Thu, 28 Oct 2021 08:51:23 +0000 Subject: [PATCH] =?UTF-8?q?Derni=C3=A8re=20partie=20du=20module=201?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- journal/Readme.md | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/journal/Readme.md b/journal/Readme.md index 5d47ca7..56d5cf7 100644 --- a/journal/Readme.md +++ b/journal/Readme.md @@ -28,6 +28,47 @@ E.g: Markdown, Wikitexte. ### Gestionnaire de versions: +- Conserver un historique des modifications sans dupliquer les dossiers de sauvegarde; +- Savegarder les données (avec l'historique) sur des ordinqteurs distants; +- Fusion "automatique" des fichiers édités par plusiers personnes. + +**git add** indique quelles modifications on souhaite conserver. + +**git commit** fait le checkpoint (date, commentaire). + +**git diff vx.vy** compaire les versions ('x' a 'y'). + +**git checkout v6'** revenir directment à l'état. Cette historique est **local**. + +**git clone** récupérer un historique vierge. + +**git push** propage des modifications sur le serveur Gitlab. + +**git pull** recupere les informations fait pour les autres. +P.S: Ne marche pas quand la version n'est pas à jour. + +**git log** accès a l'ensemble des modifications de l'historique et des branches. + +**git merge** + +**git commit** stocker modifications. + +Dans les plates-formes de développement collaboratif _fork_ copie du travail et apprès _pull request_. + +### DocFetcher: +Motteur de recherche de bureau. + +On peux ajouter des étiquettes et mot-clés aux fichiers texte. + +### Étiquette: + + + + +### Image: +On peux ajouter des commentaires et aux metadonnés avec **exiftool**. +_comment=: étiquette -1 + -- 2.18.1