Différences entre les versions de « ConTeXt/Installation »

m
 
===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 maniè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 calculcalcule 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 importez 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"</code>, fichier que vous pouvez retrouver sur n'importe quelle machine où <code>git</code> est installé.
625

modifications