From b35dc84b6ccb059188f6362176500f75a4b7d565 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Thu, 16 Jan 2020 21:37:40 +0100 Subject: [PATCH] More bash --- docs/Contributors.mdr | 2 +- scripts/ensure.sh | 2 +- scripts/mdr2mdbook.sh | 2 +- scripts/run.sh | 2 +- scripts/watch.sh | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/Contributors.mdr b/docs/Contributors.mdr index cd58ecc0..a1a602a8 100644 --- a/docs/Contributors.mdr +++ b/docs/Contributors.mdr @@ -1,6 +1,6 @@ # Contributors -@exec cp Gwion/README.md > master_readme.md +@exec cp Gwion/README.md master_readme.md @exec sed "$(cat -n master_readme.md | grep "ALL-CONTRIBUTOR" | cut -f1 | tr '\n' '\t' | sed 's/\t/,/')!d" master_readme.md @exec rm master_readme.md diff --git a/scripts/ensure.sh b/scripts/ensure.sh index 66d1995f..c20c6535 100644 --- a/scripts/ensure.sh +++ b/scripts/ensure.sh @@ -1,6 +1,6 @@ #!/bin/sh [ -d md ] || bash scripts/mdr2mdbook.sh -[ -f md/SUMMARY.md ] || sh scripts/summary.sh > md/SUMMARY.md +[ -f md/SUMMARY.md ] || bash scripts/summary.sh > md/SUMMARY.md [ -d md/assets ] || cp -r benchmark/results md/assets diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh index fce7ed73..10781bc8 100644 --- a/scripts/mdr2mdbook.sh +++ b/scripts/mdr2mdbook.sh @@ -43,7 +43,7 @@ runall() { if [[ "$1" == *".mdr" ]] then doc2src "$1" if [ "$(git status -s | grep docs)" ] -then sh scripts/summary.sh > md/SUMMARY.md +then bash scripts/summary.sh > md/SUMMARY.md fi else runall fi diff --git a/scripts/run.sh b/scripts/run.sh index fd5581ce..15047a23 100644 --- a/scripts/run.sh +++ b/scripts/run.sh @@ -6,7 +6,7 @@ run() { mdbook serve& sedi 's/^md/#md/' .gitignore while true - do sh scripts/watch.sh + do bash scripts/watch.sh done } diff --git a/scripts/watch.sh b/scripts/watch.sh index 50088aaa..516961c0 100644 --- a/scripts/watch.sh +++ b/scripts/watch.sh @@ -7,5 +7,5 @@ wait() { while true do file=$(wait) - sh scripts/mdr2mdbook.sh $file; + bash scripts/mdr2mdbook.sh $file; done -- 2.43.0