More bash

diff --git a/docs/Contributors.mdr b/docs/Contributors.mdr
index cd58ecc05d8209a6a9e6646eb21fc38542be0c6b..a1a602a8d0ec56b8b2017db9282496d5364e4588 100644 (file)
--- 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 66d1995f73d87c5c8f4840184e72940f47623d58..c20c65356ff4b476adb8fa94aa32e7701c3bb0f1 100644 (file)
--- 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 fce7ed73b151d73b16f1abc0b6bbf3b9534c08fd..10781bc85b5b24c4e586c54277b18512de9d10a7 100644 (file)
--- 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 fd5581cea23ba8ddbfbfd4fc0b7a841c515a95c2..15047a23cd1efdaf43d4a468a441f2188a0badee 100644 (file)
--- 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 50088aaa329e06eda635649af2d028d68a8f8af5..516961c08173cfbdb3441f0f22bf632faf695f3e 100644 (file)
--- 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