GitLab

La page web est maintenant quasiment complète, avec un lien sur les TP.

L'objectif est de rendre ce petit programme disponible pour les
participants sur la page web du cours.

Une première version de la page web qui servira à héberger les supports
de la formation (slides et énoncés de TP). Pour l'instant les énoncés de
TP n'apparaissent pas sur la page.

Les fichiers générés pour les TP et les Slides vont maintenant dans un
sous-dossier. C'est beaucoup plus simple à gérer pour la génération du
site web.

L'objectif était de rajouter une cible qui efface les PDF, et d'étendre
la cible clean pour qu'elle efface aussi les fichiers générés par
_minted.

Sinon ça fait moche...

typearea est visiblement le paquetage recommandé dans le cadre de KOMA
script, et devrait remplacer geometry.

Cela permet d'avoir les logos par défaut dans tous les énoncés de TP.

explicitation des prompts avec le mode console de minted

Quelques fusions pour diminuer le nombre de blocs maintenant
que les prompts sont bien visibles.

- Minted
- page de garde des TP avec les logos
- insertion des modifs liés à gitlab.ensimag.fr

programme et TODO à faire pour la mise en ligne du cours avant le 26 avril.

Il reste des éléments qui n'ont pas été poussés sur le dépôt, concernant
la formation continue 2017. Il faut ignorer le dossier.

restore (dasn trace)
switch

ajout de code minted à la place de lstlisting.

ajout de switch

TODO: translation of 2/3 of the document