mirror of
https://github.com/RGBCube/serenity
synced 2025-10-31 15:22:43 +00:00
8d680dd1ad
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.
18 lines
540 B
Bash
Executable file
18 lines
540 B
Bash
Executable file
#!/bin/sh
|
|
set -e pipefail
|
|
|
|
script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
|
|
cd "$script_path/.."
|
|
|
|
ALL_ENDPOINTS=$(find \( -name Toolchain -o -name Build -o -name .git -o -name Ports \) -prune -o -name '*.ipc' -print0 | xargs -0 grep -P '^endpoint ' | sort -k4 -n)
|
|
|
|
BAD_ENDPOINTS=$(echo "${ALL_ENDPOINTS}" | cut -d' ' -f4 | uniq -d)
|
|
|
|
if [ -n "${BAD_ENDPOINTS}" ]
|
|
then
|
|
echo "This is the full list of all endpoints:"
|
|
echo "${ALL_ENDPOINTS}"
|
|
echo "These endpoint IDs are duplicated:"
|
|
echo "${BAD_ENDPOINTS}"
|
|
exit 1
|
|
fi
|