diff --git a/french_law/python/setup_env.sh b/french_law/python/setup_env.sh
index 63c3ef83..321050f1 100755
--- a/french_law/python/setup_env.sh
+++ b/french_law/python/setup_env.sh
@@ -1,5 +1,6 @@
-#! /usr/bin/env bash
-set -euo pipefail
+#! /usr/bin/env sh
+
+set -eu
 
 cd "$(dirname "$0")"
 python3 -m venv env
diff --git a/generate_website_assets.sh b/generate_website_assets.sh
index ae8091fa..26dbb1cd 100755
--- a/generate_website_assets.sh
+++ b/generate_website_assets.sh
@@ -1,9 +1,11 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
+
+set -eu
 
 cd "$(dirname "$0")"
 
-if [[ $1 == "" ]]; then
-  echo "USAGE: $1 DST where DST is the directory in which files have to be copied"
+if [ $# -eq 0 ]; then
+  echo "USAGE: \$1 DST where DST is the directory in which files have to be copied"
   exit 1
 fi
 
diff --git a/syntax_highlighting/en/set_up_pygments.sh b/syntax_highlighting/en/set_up_pygments.sh
index 2a660513..2980e469 100755
--- a/syntax_highlighting/en/set_up_pygments.sh
+++ b/syntax_highlighting/en/set_up_pygments.sh
@@ -1,4 +1,6 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
+
+set -eu
 
 cd "$(dirname "$0")"
 cd pygments && python3 setup.py develop --user
diff --git a/syntax_highlighting/en/setup_atom.sh b/syntax_highlighting/en/setup_atom.sh
index 885ac5a0..31dd24cc 100755
--- a/syntax_highlighting/en/setup_atom.sh
+++ b/syntax_highlighting/en/setup_atom.sh
@@ -1,4 +1,6 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
+
+set -eu
 
 FILE=~/.atom/packages/catala_en
 SCRIPT=`realpath $0`
diff --git a/syntax_highlighting/en/setup_vscode.sh b/syntax_highlighting/en/setup_vscode.sh
index a5f2ac32..16f87d59 100755
--- a/syntax_highlighting/en/setup_vscode.sh
+++ b/syntax_highlighting/en/setup_vscode.sh
@@ -1,4 +1,6 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
+
+set -eu
 
 FILE=~/.vscode/extensions/catala-en
 SCRIPT=`realpath $0`
diff --git a/syntax_highlighting/fr/set_up_pygments.sh b/syntax_highlighting/fr/set_up_pygments.sh
index 2a660513..ee40d124 100755
--- a/syntax_highlighting/fr/set_up_pygments.sh
+++ b/syntax_highlighting/fr/set_up_pygments.sh
@@ -1,4 +1,6 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
+
+set -ue
 
 cd "$(dirname "$0")"
 cd pygments && python3 setup.py develop --user
diff --git a/syntax_highlighting/fr/setup_atom.sh b/syntax_highlighting/fr/setup_atom.sh
index d3551f7d..fae88ec5 100755
--- a/syntax_highlighting/fr/setup_atom.sh
+++ b/syntax_highlighting/fr/setup_atom.sh
@@ -1,4 +1,6 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
+
+set -eu
 
 FILE=~/.atom/packages/catala_fr
 SCRIPT=`realpath $0`
diff --git a/syntax_highlighting/fr/setup_vscode.sh b/syntax_highlighting/fr/setup_vscode.sh
index 7302c5b8..8187cabf 100755
--- a/syntax_highlighting/fr/setup_vscode.sh
+++ b/syntax_highlighting/fr/setup_vscode.sh
@@ -1,4 +1,6 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
+
+set -eu
 
 FILE=~/.vscode/extensions/catala-fr
 SCRIPT=`realpath $0`
diff --git a/syntax_highlighting/pl/set_up_pygments.sh b/syntax_highlighting/pl/set_up_pygments.sh
index 2a660513..2980e469 100755
--- a/syntax_highlighting/pl/set_up_pygments.sh
+++ b/syntax_highlighting/pl/set_up_pygments.sh
@@ -1,4 +1,6 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
+
+set -eu
 
 cd "$(dirname "$0")"
 cd pygments && python3 setup.py develop --user
diff --git a/syntax_highlighting/pl/setup_atom.sh b/syntax_highlighting/pl/setup_atom.sh
index 4ab816f5..2d66b139 100755
--- a/syntax_highlighting/pl/setup_atom.sh
+++ b/syntax_highlighting/pl/setup_atom.sh
@@ -1,4 +1,6 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
+
+set -eu
 
 FILE=~/.atom/packages/catala_pl
 SCRIPT=`realpath $0`