From 0e4338fd1d6f4671768f70fff6554400c81f7ab3 Mon Sep 17 00:00:00 2001 From: Chocobozzz Date: Wed, 19 Feb 2020 08:56:24 +0100 Subject: [PATCH] Use bash to run scripts --- scripts/dev/cli.sh | 2 +- scripts/dev/client.sh | 2 +- scripts/dev/embed.sh | 2 +- scripts/dev/index.sh | 2 +- scripts/dev/server.sh | 2 +- 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 -- 2.25.1