From 269e1e21461a9521bf1d99f55c13ade1a8c5764b Mon Sep 17 00:00:00 2001 From: Bastien Dumont Date: Sun, 9 Jan 2022 22:27:07 +0100 Subject: [PATCH] =?UTF-8?q?Ajout=20avertissement=20sur=20le=20fait=20que?= =?UTF-8?q?=20remove-superfluous-spaces=20est=20sp=C3=A9cifique=20=C3=A0?= =?UTF-8?q?=20Unix=20et=20donc=20devrait=20=C3=AAtre=20r=C3=A9=C3=A9crit?= =?UTF-8?q?=20en=20Lua?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Filtres-Pandoc/remove-superfluous-spaces.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Filtres-Pandoc/remove-superfluous-spaces.sh b/Filtres-Pandoc/remove-superfluous-spaces.sh index ad182e8..18ce6f2 100755 --- a/Filtres-Pandoc/remove-superfluous-spaces.sh +++ b/Filtres-Pandoc/remove-superfluous-spaces.sh @@ -18,6 +18,12 @@ # ######################################################################## +#################################################################################### +# Le filtre remove-superfluous-spaces.sh devrait être remplacé par un filtre Lua. # +# Si son exécution cause une erreur sur votre système ou si vous utilisez Windows, # +# n'hésitez pas à m'écrire pour que je me décide à régler ce problème. # +#################################################################################### + sed 's/ "},{"t":"Space"},/ "},/g' - | # Espace simple ajoutée entre le prénom et le nom. sed 's/,{"t":"Space"},{"t":"Str","c":" /,{"t":"Str","c":" /g' | # sed 's/. ,"}/.,"}/g' | # Espace insécable ajoutée après le prénom quand celui-ci vient après le nom (du fait du style CSL).