From abb5dc857eff15bd1122a00c6b86999fb1576365 Mon Sep 17 00:00:00 2001
From: Wesley Aptekar-Cassels <me@wesleyac.com>
Date: Tue, 7 Mar 2023 12:50:36 -0500
Subject: [PATCH] Use more portable shebang for dev scripts

/bin/bash, while common, is not part of the unix standard, and does not
exist on some operating systems (such as NixOS). /usr/bin/env, on the
other hand, is standardized, and thus should exist on all systems.
---
 bw-dev    | 2 +-
 update.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bw-dev b/bw-dev
index 631d9acda..e4fbc8393 100755
--- a/bw-dev
+++ b/bw-dev
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # exit on errors
 set -e
diff --git a/update.sh b/update.sh
index a394eed81..727ce1b24 100755
--- a/update.sh
+++ b/update.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e
 
 # determine inital and target versions