From 8cf196a34b3268fc0b8f5fb10793acf43dbf0cf9 Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>
Date: Thu, 7 Apr 2022 17:34:34 +0200
Subject: [PATCH] Use proper shebang for all bash scripts: #!/usr/bin/env bash

---
 sh/build_demo_web.sh     | 2 +-
 sh/check.sh              | 2 +-
 sh/docs.sh               | 2 +-
 sh/find_bloat.sh         | 2 +-
 sh/setup_web.sh          | 2 +-
 sh/start_server.sh       | 2 +-
 sh/wasm_bindgen_check.sh | 2 +-
 sh/wasm_size.sh          | 2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

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"