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