Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-01-22 | Meta: Get building on NixOS (#5005) | Jonathan Turner | |
2020-12-27 | Meta: Set 'pipefail' option correctly in shell scripts | Linus 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-15 | Meta: Lint for duplicate endpoint IDs | Ben 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. |