Posté le 25 mai 2013 dans Perso
Il y a des livres qui vous prennent et que vous n'avez pas envie de lacher tant que vous ne les avez pas terminé. The city & the city, de China Miéville en fait partie ; il s'agit d'un polar fantastique, qui nous entraine dans un univers sombre, dans une ville duale dont les habitants des deux parties s'évitent mutuellement.
Posté le 07 mai 2013 dans Informatique
J'ai déjà souvent abordé le langage reStructuredText dans mes articles, et je l'utilise fréquement, que ce soit pour écrire sur ce blog ou publier d'autres contenus. On présente souvent rst2pdf pour la publication, mais il est également possible de générer une sortie vers libreoffice, permettant de créer rapidement des documents avec une mise en page maîtrisée.
Posté le 26 avril 2013 dans Informatique
La typographie est bien souvent malmenée dès que l’on utilise le web comme support. Pourtant, les règles sont simples, et il est facile de les appliquer quand on publie un document, à partir du moment ou cela ne se fait pas à la main. Pour ma part, j’utilise le plugin typogriphy pour faire le rendu des articles de ce blog. Ce plugin permet de convertir le texte écrit dans un éditeur de texte brut en un texte destiné à être affiché dans une page html :
Posté le 18 août 2012 dans Informatique
Le langage rst, déjà évoqué dans un article précédent, possède plusieurs formats sortie : pdf, odt, html, xml… Cependant, les outils pour générer la sortie ne prennent pas tous les même paramètres, et il est difficile de faire un fichier source qui soit compatible avec l'ensemble des compilateurs.
Posté le 12 août 2012 dans Informatique
Petite astuce pour un problème que j’ai rencontré il y a quelques temps avec apache. Je souhaitais modifier le code retour d’une requête (en l’occurrence remplacer un code 403 par 404).
J’ai été surpris de ne trouver aucun module pour le faire, sécurité, redirection ou autre contrôle sur les requêtes.
La solution trouvée fut d’utiliser un script cgi, qui se charge de faire la réponse à la place d’apache, et est appelé en page d’erreur. Cela donne :
ScriptAlias /cgi-bin/ /home/www/cgi/
ErrorDocument 403 /cgi-bin/404.cgi
Le script en question est fait …