mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-24 10:32:56 +00:00
b6d7d7ea18
@Pentarctagon noticed in commit 9a34cbb3291 that $UID isn't set when /bin/sh isn't GNU Bash. `id -u` is specified by POSIX: https://pubs.opengroup.org/onlinepubs/9699919799.2018edition/utilities/id.html Also move `-xe` to a `set` command (in case someone runs scripts with `sh path/to/script` instead of `path/to/script`) and add `set -u` to complain more loudly about such unset variables.