Replace /bin/bash with /usr/bin/env bash #927
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "(deleted):usr_bin_env_bash"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Build scripts expect bash to be in /bin. On some OSs (e.g. nixos)
this is not the case. '/usr/bin/env bash' should work on (altmost)
all systems.
Merged with a manual merge because of a conflict caused on check-translation-status.sh
Pull request closed