Use bash to run scripts

2020-02-19 08:56:24 +01:00 · 2020-02-19 08:56:24 +01:00 · 0e4338fd1d
parent d5edf22aad
commit 0e4338fd1d
5 changed files with 5 additions and 5 deletions
--- a/scripts/dev/cli.sh
+++ b/scripts/dev/cli.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -eu

--- a/scripts/dev/client.sh
+++ b/scripts/dev/client.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -eu

--- a/scripts/dev/embed.sh
+++ b/scripts/dev/embed.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -eu

--- a/scripts/dev/index.sh
+++ b/scripts/dev/index.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -eu

--- a/scripts/dev/server.sh
+++ b/scripts/dev/server.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -eu