3 Commits

Author	SHA1	Message	Date
Jonathan Turner	0bf5669ba3	Meta: Get building on NixOS (#5005)	2021-01-22 17:44:05 +01:00
Linus Groh	a56b3cbf7c	Meta: Set 'pipefail' option correctly in shell scripts ... This needs '-o' to work correctly. Also update the shebang to bash in some scripts as shellcheck was complaining about pipefail not being a POSIX shell thing otherwise.	2020-12-27 21:25:27 +01:00
Ben Wiederhake	8d680dd1ad	Meta: Lint for duplicate endpoint IDs ... We currently have 16 endpoints. The IDs are typed by a human at creation time. This check will detect with we ever use an endpoint ID twice. Since the large irrelevant directories are ignored, this should be quick enough.	2020-08-15 20:48:52 +02:00