Use bash to run scripts

diff --git a/scripts/dev/cli.sh b/scripts/dev/cli.sh
index 4b6fe55082ad86e0dbcf23c812d4ce93c6c86744..dc6f0af0dca08c91088b4b0b2dbde3e319e4de9e 100755 (executable)
--- a/scripts/dev/cli.sh
+++ b/scripts/dev/cli.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu
 

diff --git a/scripts/dev/client.sh b/scripts/dev/client.sh
index bcb8b88f607ecc71faa862ea893b56c20fb90dfb..a056b7d7fb1ea2a9c5cf1d77a0883d3a1cb30500 100755 (executable)
--- a/scripts/dev/client.sh
+++ b/scripts/dev/client.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu
 

diff --git a/scripts/dev/embed.sh b/scripts/dev/embed.sh
index 9b0ef27cfd6c4bb07dc28f0d4803286d2e1134df..b4835604e0193a6908ce5d37b226fb61b45fa5a3 100755 (executable)
--- a/scripts/dev/embed.sh
+++ b/scripts/dev/embed.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu
 

diff --git a/scripts/dev/index.sh b/scripts/dev/index.sh
index 9e89516b880689a7bc98652a459a22099872e86a..218d02b8c6a58f432c0f0b013e110bdae1079182 100755 (executable)
--- a/scripts/dev/index.sh
+++ b/scripts/dev/index.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu
 

diff --git a/scripts/dev/server.sh b/scripts/dev/server.sh
index b09a966dd2fbf630af09e8f326cefafda8cbf60b..187a1843e7b84219137e4f4a11015c39768879d6 100755 (executable)
--- a/scripts/dev/server.sh
+++ b/scripts/dev/server.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu