Use first bash from PATH (allows running on macOS)

/bin/bash on macOS is too old (3.2.57), but can be replaced by a recent bash version from Homebrew. Signed-off-by: Stefan Weil <[email protected]>
UB-Mannheim · Oct 23, 2023 · cb5defa · cb5defa
1 parent 8a67cba
commit cb5defa
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/bin/ocr-transform.sh b/bin/ocr-transform.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Default to the parent dir of this script. Overwritten by `make install`
 SHAREDIR="$(readlink -f "$(dirname "$(readlink -f "$0")")/..")"

diff --git a/bin/ocr-validate.sh b/bin/ocr-validate.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Default to the parent dir of this script. Overwritten by `make install`
 SHAREDIR="$(readlink -f "$(dirname "$(readlink -f "$0")")/..")"

diff --git a/lib.sh b/lib.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 #{{{ Logging
 if [[ -n "$COLORTERM" || "$TERM" = *color* || "$TERM" = xterm* ]];then