Skip to content
Snippets Groups Projects

Title: Les documentations cri et utilisateur pour l'ISIMA et le LIMOS Date: 2017-05-22 10:20 Status: Published Tags: doc, python, mkdocs Summary: Comment bien les utiliser, et comment y contribuer Image: images/doc/book.jpg

Pourquoi deux nouvelles documentations?

L'idée est de centraliser, tout en mettant à jour, les documentations existantes pour l'ISIMA et le LIMOS

Si une autre source de documentation vous paraît pertinente n'hésitez pas à la soumettre à cri@isima.fr

Comment sont faites ces deux documentations?

doc-cri et doc-user sont toutes deux écrites avec le projet MkDocs, issu du monde python et largement utilisé dans le monde de l'open source.

MkDocs]( est un module python qui permet à partir d'un code source (une simple arborescence de fichiers textes au format markdown) de générer des fichiers html statiques présentés dans une charte graphique fonctionnelle et unifiée.

Les codes source sont consultables et modifiables sur le gitlab de l'ISIMA par les seuls enseignants chercheurs ou personnels de l'ISIMA ou du LIMOS dotés d'un compte Active Directory.

Toutes les contributions, corrections ou suggestions sont les bienvenues: une documentation à jour est un gain de temps pour tous au quotidien!

Comment contribuer à doc-cri ou à doc-user

0 - Prérequis

sudo pip install mkdocs

N.B. il est aussi possible d'installer mkdocs dans un virtualenv python afin de ne pas modifier la configuration de python sur votre système

1 - Récupérer les sources à partir de https://gitlab.isima.fr

fork doc-cri step 1

  • spécifier éventuellement l'utilisateur avec lequel forker

fork doc-cri step 2

  • vous avez désormais un repository, clone de l'original, sur lequel vous pouvez travailler

fork doc-cri step 3

  • vous pouvez cloner le repository en local
cd /path/to/your/projects/folder
git clone git@gitlab.isima.fr:mazenovi/doc-cri.git
cd doc-cri

2 - Démarrer l'environnement MkDocs local

mkdocs serve

3 - Éditer ou créer du contenu

3.1 - Éditer du contenu existant

  • éditer les fichiers markdown (*.md) dans le dossier docs
    • atom.io possède une coloration syntaxique et une prévisualisation pour markdown (ctrl+maj+m)
  • les changements sont automatiquement rendus après sauvegarde du fichier sur http://127.0.0.1:8000

3.2 - Créer du contenu

  • créer un nouveau fichier markdown (.md) dans le dossier docs ou dans l'un de ses sous dossiers
    • atom.io possède une coloration syntaxique et une prévisualisation pour markdown (ctrl+maj+m)
  • dans mkdocs.yml ajouter une entrée à la section page: afin d'ajouter le nouveau fichier au menu

Attention tous les fichiers .md ajoutés doivent être référencés dans le fichier mkdocs.yml sans quoi ils ne seront pas interprétés

pages:
    - 'Section': section.md
  • le nouveau fichier peut également être ajouté à un sous menu
pages:
    - 'Section':
        - 'Subsection': subsection.md

4 - Versionner et propager les modifications

  • ajouter tous les nouveaux fichiers et les fichiers modifiés au prochain commit
git add . --all
  • valider les modifications sur le repository git local via un commit
git commit -m "my awesome contribution"
  • publier les modifications sur le repository git distant
git push origin master

merge request doc-cri step 0

  • créer une nouvelle merge request

merge request doc-cri step 1

  • sélectionner la branche concernée (ici master) et cliquer sur compare branches and continue*

merge request doc-cri step 2

  • ajouter la branche concernée (ici master) et cliquer sur compare branches and continue*

merge request doc-cri step 3

Votre merge request sera automatiquement soumise à l'équipe CRI et mettra automatiquement la documentation à jour en cas d'acceptation

Pour en savoir plus sur git vous pouvez lire également mon post git 101

Comment faire une demande d'ajout ou de modification

Vous pouvez adresser toutes vos demandes ou remarques en cliquant sur le lien "Issues"

Issues via gitlab