Tygo van den Hurk 84772ebf14 fix: changed shebang to make scripts more platform independent (#2893) ...

See for example this thread:

https://stackoverflow.com/questions/21612980/why-is-usr-bin-env-bash-superior-to-bin-bash

on why its better to use '#!/usr/bin/env bash' instead.
Without this change these scripts will not run on some
platforms. This is not a breaking change for the
platforms it already works on.

2025-04-20 04:23:31 -04:00

4.6 KiB

Executable File

Raw Blame History

View Raw