Pygments et ReST (partie 2 sur je-sais-pas-combien-encore)
Par NiCoS le dimanche 18 novembre 2007, 23:27 - Python - Django - Lien permanent
Suite de mon aventure sur Pygments et ReST :
En lisant la documentation rapide (QuickStart) de Pygments, on trouve comment récupérer la feuille de style fournit par défaut :
pygmentize -S default -f html > style.css
Ensuite, lors de la transformation Rest vers HTML, il suffit de faire :
rst2html.py source.txt cible.html --stylesheet-path=style.css
Il y a surement plus propre mais bon, ça marche... Cela veut aussi et surtout dire que pour produire un site à partir de document s au format ReST, il faut construire sa feuille de style CSS en incluant celle de pygments notamment.
Et voilà le résultat :
Commentaires
Cela fait maintenant un petit moment que j'utilise ReST, pour produire mes pages en HTML. Dès que j'aurais un peu plus de temps, je les convertirais en XML (afin d'avoir une même source pour le HTML et les PDF).
Comme quoi dès fois ça sert de lire la doc, merci j'ai appris quelque chose