Jeudi 20 décembre 2018

Cher Journal,

Le convertisseur html2rss a une certaine tendance à échapper les caractères antislash \. Manifestement, la notation \ serait préférable, mais est mal gérée par certains navigateurs. Sinon \, semble mieux supportée. Modifier html2rss serait préférable, mais impossible de trouver l'évènement qui déclenche cet échappement pour le moment. En attendant, ma fonction shell escapehtml a été modifiée de manière adéquate pour mieux traiter mes copies verbatim :

escapehtml () {
	sed -e 's/&/\&/g' \
	    -e 's/</\&lt;/g'  \
	    -e 's/>/\&gt;/g'  \
	    -e 's/\\/\&#92;/g' "$@"
}

D'ailleurs, après relecture, les premières versions de cette fonctions, telles que publiées dans le flux Atom, étaient erronées, car l'antislash servant à échapper le caractère esperluette a disparu. Les page HTML correspondantes étaient correcte, dans le même temps.

	Name	Last modified	Size
	Parent Directory		-