mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-24 02:32:36 +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.
This is a directory of miscellaneous developer tools for Battle for Wesnoth, mostly to support packaging, code integrity checks, and control of the Wesnoth servers.
Tools that work on data (WML, maps, images, sounds) no longer belong here. Go to data/tools for those.