From d90f2a155394ec87ac6a1c082686fd7b6c5033c2 Mon Sep 17 00:00:00 2001 From: pruizf <pabloruizfabo@gmail.com> Date: Sun, 26 Sep 2021 12:10:31 +0200 Subject: [PATCH] [ci] adds number of plays done in publish.sh --- publish.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publish.sh b/publish.sh index 72ca29e..0cc5dc6 100755 --- a/publish.sh +++ b/publish.sh @@ -21,7 +21,7 @@ done # read-section plays_done=$(ls read/tei/*xml | wc -l) -sed -i -e "s/##nbrPieces/${plays_done}/g" +sed -i -e "s/##nbrPieces/${plays_done}/g" read/*html # copy to public repo ========================================================== -- GitLab