5 files changed, 5 insertions, 5 deletions

diff --git a/scripts/dev/cli.sh b/scripts/dev/cli.sh
index 4b6fe5508..dc6f0af0d 100755
--- 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 bcb8b88f6..a056b7d7f 100755
--- 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 9b0ef27cf..b4835604e 100755
--- 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 9e89516b8..218d02b8c 100755
--- 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 b09a966dd..187a1843e 100755
--- a/scripts/dev/server.sh
+++ b/scripts/dev/server.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu