Archives par tags: git

Découverte :
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 vous devez rendre un rapport quelconque à partir d'un travail fait en groupe...

Astuce :
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 organiser ses projets et d’utiliser des cahiers de laboratoire électroniques...

Découverte :
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 devenus plus productifs.

Mais l’impact sur les scientifiques est plus mitigé...

Didacticiel :
Git : cloner un projet, travailler à plusieurs et créer des branches

Logo de git (http://git-scm.com) Git Logo by Jason Long is licensed under the Creative Commons Attribution 3.0 Unported License

 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...

Découverte :
Gérer les versions de vos fichiers : premiers pas avec git

Logo de git (http://git-scm.com) Git Logo by Jason Long is licensed under the Creative Commons Attribution 3.0 Unported License
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 son utilisation...

Opinion :
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 mes documents dont j'ai besoin pour finir ce script ? Qu'est-ce que j'ai fait de ce foutu papier qui parle de la méthode que je dois appliquer ?
Qui d'entre nous ne s'est jamais retrouvé confronté à ce genre de casse-tête ? Très peu j'imagine...