Étiquette : git
-
Créez vos documents collaboratifs en LaTeX
Aujourd'hui, on vous présente une méthode pour créer vos documents collaboratifs en ligne, en utilisant LaTeX, ainsi que quelques astuces qui pourront peut-être vous simplifier la vie ! Un petit peu de contexte Imaginons : vous êtes un jeune chercheur dynamique, et vous voulez rédiger un papier avec vos collaborateurs. Ou bien vous êtes un étudiant, et…
-
S'outiller et s'organiser pour mieux travailler
TL;DR La reproductibilité, c’est la vie (dans le monde scientifique) ! Tout résultat doit pouvoir être reproduit. La technologie permet de faciliter la recherche de reproductibilité. Les cahiers de laboratoire papiers ne sont plus du tout adaptés à la recherche actuelle et au besoin de reproductibilité. Je préconise donc d’utiliser git et GitHub, de bien…
-
Software Carpentry ou la transmission de bonnes pratiques en informatique
Avec l’augmentation de la capacité des ordinateurs et de la qualité des algorithmes, l’informatique prend une place de plus en plus importante dans la vie de tous les jours, mais aussi dans la recherche. Cela est rendu aussi possible grâce à la programmation et aux améliorations des languages, des outils et des pratiques. Les développeurs sont…
-
Git : cloner un projet, travailler à plusieurs et créer des branches
Git est un logiciel de contrôle de versions de fichiers. Il est distribué sous licence GNU GPLv2 et est disponible sur les principaux systèmes d'exploitation. Dans l'article précédent, nous avions vu comment installer et configurer git, comment créer un dépôt pour un projet, ainsi que les principes de base de gestion de versions. Dans cet article,…
-
Gérer les versions de vos fichiers : premiers pas avec git
Git est un logiciel de contrôle de versions de fichiers. Il est distribué sous licence GNU GPLv2 et est disponible sur les principaux systèmes d'exploitation. Cet article est le premier d'une série de deux. Nous allons voir ici (1) à quoi sert le contrôle de versions, (2) comment configurer git et (3) les bases de…
-
Comment organiser son travail ?
L'organisation du travail peut sembler facile, ce n'est pas toujours le cas, surtout lorsque l'on est impliqué dans 2 ou 3 projets à la fois. Comment se souvenir de ce que l'on a fait il y a un mois alors même que l'on ne sait plus ce que l'on a fait la veille ? Où sont…