From 4b5d6b8a0eb65c79f4b8462b1df5b752a01912aa Mon Sep 17 00:00:00 2001
From: Craig Furman <craig@craigfurman.dev>
Date: Sun, 20 Apr 2025 13:29:40 +0100
Subject: [PATCH] Be flexible regarding bash path in dltools.sh

Bash isn't always at /bin/bash. On nixos, it might be a nix store path.
On macOS, users might want to use a more up-to-date version of bash than
what ships with the system (bash 3, from 2007).

Locate bash from PATH instead.
---
 dltools.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dltools.sh b/dltools.sh
index 52d83cf..27f9e52 100755
--- a/dltools.sh
+++ b/dltools.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 SCRIPT_DIR=$(dirname "${BASH_SOURCE[0]}")
 BOLD=$(tput bold)