« ConTeXt/Installation » : différence entre les versions

Contenu supprimé Contenu ajouté
→‎Mise à jour : ajout d'une section sur le travail avec Git
m →‎Bien travailler avec ConTeXt : Git : correction orthographique et toilettage
Ligne 356 :
 
===Bien travailler avec ConTeXt : Git ===
L'expérience montre que le travail d'élaboration d'un texte, d'un article, d'un document complexe, d'un livre, peut se faire sur diverses machines et dans des conditions différentes. Si on prend un exemple-type courant, on est souvent conduit à travailler chez soi, dans un train, dans une maison de vacances, etc. L'idée la plus simple est d'enregistrer ses fichiers sur un CD-ROM, une clé USB ou un serveur distant. Cependant, la version de travail doit porter la mention de la date et de l'heure à laquelle vous avez fait votre dernier enregistrement. En l'occurrence, quelqu'un d'organisé (et de prévoyant) aura tendance à enregistrer les dernières modifications de son travail en portant la mention de la date dans le titre du fichier. Ainsi, il n'est pas rare de voir des répertoires entièrement remplis de fichiers comme "ConTeXt_Manuscrit-Virginia-Fox-Biographie_20-05-2016", "ConTeXt_Manuscrit-Virginia-Fox-Biographie_23-05-2016", "ConTeXt_Manuscrit-Virginia-Fox-Biographie_24-05-2016", et ainsi de suite. Lorsqu'il s'agit de travailler sur la ''même'' machine, cette méthode n'est pas dénuée de fondement. Mais à partir du moment où l'on se promène avec une clé USB dans la poche d'une machine à une autre, une mnièremanière de se simplifier la vie consiste à avoir recours à un script de ''versioning''. Vous le savez, la méthode de ''versioning'' consiste à enregistrer des modifications d'un fichier et à placer ces modifications sur un serveur, lequel calcul ces modifications et vous avertit sur l'état de la version sur laquelle vous êtes en train de travailler, travail qui naturellement modifie la dernière version ''enregistrée''.
 
L'intérêt d'un outil comme [https://git-scm.com/book/fr/v1/D%C3%A9marrage-rapide-Installation-de-Git Git] (et du serveur de dépôt [https://about.gitlab.com/ GitLab]), c'est que vous n'avez plus à vous préoccuper du nom de la version du fichier sur lequel vous voulez travailler : vous vous installez devant votre clavier et votre écran, vous allez dans le répertoire où se trouve le fichier à modifier et vous travaillezimportez la dernière version par la commande <code>git pull adresse distante du répertoire du fichie</code> sur laquelle vous désirez travailler. Une fois que la séance de travail est achevée, vous enregistrez votre fichier sur le serveur distant avec la commande <code>git push "adresse distante du répertoire du fichier", fichier que vous pouvez retrouver sur n'importe quelle machine où <code>git</code> est installé.
 
Ce n'est pas le lieu ici de développer un chapitre sur l'installation et l'usage de Git, mais sachez, si vous êtes un débutant, que l'installation et l'usage de <code>git</code> sont simples. Pour en savoir plus, vous pouvez vous rendre sur la page de GitLab qui fournit quelques [https://docs.gitlab.com/ee/gitlab-basics/start-using-git.html#create-a-branch explications simples].
Ce n'est pas ici le lieu de développer un chapitre sur l'installation et l'usage de Git, mais sachez, si vous êtes un débutant, que l'installation et l'usage de <code>git</code> sont simples et apportent un véritable confort de travail. Bien sûr, cela ne disqualifie pas l'usage des clés USB, où l'enregistrement d'une copie de votre travail sur un disque dr externe (on n'est jamais trop prudent !).
 
Ce n'est pas le lieu ici de développer un chapitre sur l'installation et l'usage de Git, mais sachez, si vous êtes un débutant, que l'installation et l'usage de <code>git</code> sont simples. Pour en savoir plus, vous pouvez vous rendre sur la page de GitLab qui fournit quelques [https://docs.gitlab.com/ee/gitlab-basics/start-using-git.html#create-a-branch explications simples].