diff options
authorNils Gillmann <>2018-10-21 18:49:41 +0000
committerNils Gillmann <>2018-10-21 18:49:41 +0000
commita3991d078b2583cd09e58230333e8070a723e332 (patch)
parent93def6b58a5ed44d6752958b08a3e49e418f3dda (diff)
We want portable shell scripts, not plain bash-specific scripts.
Signed-off-by: Nils Gillmann <>
1 files changed, 12 insertions, 3 deletions
diff --git a/doc/documentation/chapters/contributing.texi b/doc/documentation/chapters/contributing.texi
index ed1c19b30..f4493e6c1 100644
--- a/doc/documentation/chapters/contributing.texi
+++ b/doc/documentation/chapters/contributing.texi
@@ -95,14 +95,23 @@ of languages, in order of preference:
@item C
@item Portable Shell Scripts
-@item Bash Scripts
-@c Nim ?
@item Python (@geq{}3.6)
@end enumerate
We welcome efforts to remove our existing python-2.7 scripts to
-replace them either with Bash or, at your choice, python-3.6+.
+replace them either with portable shell scripts or,
+at your choice, python-3.6+.
If you contribute new python based testcases, we advise you to
not repeat our past misfortunes and write the tests in a standard
test framework like for example pytest.
+For writing portable shell scripts, these tools are useful:
+@uref{, Shellcheck},
+@uref{, checkbashisms},
+and @uref{}
+@c You could also run "bin/check_shell_script" (which we still have
+@c to write).