selecting /usr/bin/env helps edgecases

OrioleNix · web-flow · commit 54125e3f234d · 2025-07-28T11:53:02.000-04:00
There are systems (though rare) that don't have bash, but instead only have sh, or zsh, etc, which would otherwise be able to use our shell scripts, there's no reason to not allow the environment to select its shell.
diff --git a/scripts/APPIMAGE_INSTALL.sh b/scripts/APPIMAGE_INSTALL.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env
 
 # exit on error
 set -e

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/bash`
	`1`	`+#!/usr/bin/env`
`2`	`2`
`3`	`3`	`# exit on error`
`4`	`4`	`set -e`