summaryrefslogtreecommitdiff
path: root/Meta/lint-ipc-ids.sh
AgeCommit message (Collapse)Author
2021-01-22Meta: Get building on NixOS (#5005)Jonathan Turner
2020-12-27Meta: Set 'pipefail' option correctly in shell scriptsLinus Groh
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-08-15Meta: Lint for duplicate endpoint IDsBen Wiederhake
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.