serenity

mirrors/serenity

Fork 0

mirror of https://github.com/SerenityOS/serenity.git synced 2025-01-24 02:12:09 -05:00

Commit graph

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

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

3 commits