diff --git a/Filtres-Pandoc/remove-superfluous-spaces.sh b/Filtres-Pandoc/remove-superfluous-spaces.sh index b672115..ad182e8 100755 --- a/Filtres-Pandoc/remove-superfluous-spaces.sh +++ b/Filtres-Pandoc/remove-superfluous-spaces.sh @@ -1,3 +1,5 @@ +#!/bin/bash + ######################################################################## # Copyright 2021 by Bastien Dumont (bastien.dumont@posteo.net) # @@ -16,8 +18,6 @@ # ######################################################################## -#!/bin/bash - 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).