From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Thu, 16 Jan 2020 20:37:40 +0000 (+0100)
Subject: More bash
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=b35dc84b6ccb059188f6362176500f75a4b7d565;p=gwion.git

More bash
---

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