Fix #22193: /usr/bin/bash is not present on all Debian systems

This switches to `/usr/bin/env bash`. git-svn-id: https://josm.openstreetmap.de/svn/trunk@18512 0c6e7542-c601-0410-84e7-c038aed88b3b
Gubaer · Jul 7, 2022 · d7e9a3c · d7e9a3c
1 parent 3ce627b
commit d7e9a3c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/native/linux/latest/usr/bin/josm-latest b/native/linux/latest/usr/bin/josm-latest
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/usr/bin/env bash
 # Simple wrapper script used to start JOSM in Debian
 set -e
 

diff --git a/native/linux/tested/usr/bin/josm b/native/linux/tested/usr/bin/josm
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/usr/bin/env bash
 # Simple wrapper script used to start JOSM in Debian
 set -e