diff --git a/sh/build_demo_web.sh b/sh/build_demo_web.sh index c8e4db70..df490bef 100755 --- a/sh/build_demo_web.sh +++ b/sh/build_demo_web.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eu script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P ) cd "$script_path/.." diff --git a/sh/check.sh b/sh/check.sh index d632be95..5910414e 100755 --- a/sh/check.sh +++ b/sh/check.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/usr/bin/env bash script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P ) cd "$script_path/.." set -eux diff --git a/sh/docs.sh b/sh/docs.sh index 9803d7f1..6b7379f3 100755 --- a/sh/docs.sh +++ b/sh/docs.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eu script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P ) cd "$script_path/.." diff --git a/sh/find_bloat.sh b/sh/find_bloat.sh index f77f8d84..9e9a9bc7 100755 --- a/sh/find_bloat.sh +++ b/sh/find_bloat.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eu script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P ) cd "$script_path/.." diff --git a/sh/setup_web.sh b/sh/setup_web.sh index 89709727..2c8e658e 100755 --- a/sh/setup_web.sh +++ b/sh/setup_web.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eu script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P ) cd "$script_path/.." diff --git a/sh/start_server.sh b/sh/start_server.sh index 7026c5df..958654e1 100755 --- a/sh/start_server.sh +++ b/sh/start_server.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eu script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P ) cd "$script_path/.." diff --git a/sh/wasm_bindgen_check.sh b/sh/wasm_bindgen_check.sh index 411baabe..920d5214 100755 --- a/sh/wasm_bindgen_check.sh +++ b/sh/wasm_bindgen_check.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eu script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P ) cd "$script_path/.." diff --git a/sh/wasm_size.sh b/sh/wasm_size.sh index 9a644a56..80971b40 100755 --- a/sh/wasm_size.sh +++ b/sh/wasm_size.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eu script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P ) cd "$script_path"