diff --git a/module1/README.md b/module1/README.md index e2e1d12491d0a4c1549946cb279ad8369a89cd86..8e7054f0233a25e39a18191cdef363ba421c9f89 100644 --- a/module1/README.md +++ b/module1/README.md @@ -104,4 +104,24 @@ Nos notes évoluent : corrections, ratures, remarques... En traitement de texte Système type DokuWiki... On ne modifie qu’une page à la fois. Si sépare vraiment le versionnement, on a tous les changements, on peut les afficher, et on peut bosser sur plusieurs fichiers simultanément (crucial pour le logiciel). Intéressant dans un cadre collaboratif notamment. -(*À ce moment précis, j'obtiens l'accès au gitlab et copie donc une partie de mes notes ici, pour la gloire de la méta.*) \ No newline at end of file +(*À ce moment précis, j'obtiens l'accès au gitlab et copie donc une partie de mes notes ici, pour la gloire de la méta.*) + +#### git/hub/lab +Notion d'historique : +faire des svgrd régulière avec des noms suffisament précis... +"mon\_document\_final\_final" + +Les mails sont pas mieux. + +Gestionnaire de versions: +- Conserve sans qu'on se casse le crâne sur les dossiers +- Synchronisable avec une machine distante +- Fusion facilitée + +Git créé par Linux ; utilisaient du propriétaire avant. + +On se synchronise soi-même, et on précise sur quels sous-dossiers. + +Concept1 : les "moments-clés", ou checkpoints/snapshots. +Car on ne veut pas garder une granularité d'historique trop fine... +'''git add''' \ No newline at end of file