Changeset 18512 in josm for trunk/native/linux/latest


Ignore:
Timestamp:
2022-07-07T16:46:16+02:00 (2 years ago)
Author:
taylor.smock
Message:

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

This switches to /usr/bin/env bash.

File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.