From d18074fc5ee69c281b0269eb138b6ad53509eab7 Mon Sep 17 00:00:00 2001 From: Echo Date: Tue, 27 Jun 2023 08:57:11 +0000 Subject: [PATCH] change #!/bin/bash to #!/usr/bin/env bash fixes #6 --- generate.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generate.sh b/generate.sh index 391b4e5..d3a16b6 100755 --- a/generate.sh +++ b/generate.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ProgName="$(basename -- "$0")" ScriptDir=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )