From 1a54fed064bb083dea541711be1a2c7606d22df4 Mon Sep 17 00:00:00 2001 From: Bastien Dumont Date: Sun, 9 Jan 2022 21:58:20 +0100 Subject: [PATCH] =?UTF-8?q?Shebang=20remis=20au=20d=C3=A9but=20du=20fichie?= =?UTF-8?q?r=20pour=20qu'il=20soit=20reconnu?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Filtres-Pandoc/remove-superfluous-spaces.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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).