From 40bb5a2c5c22a9e41ae65625a616b630d945e386 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 2 Jun 2023 07:49:18 -1000
Subject: [PATCH] ;dev:tools: checkembeddedfiles

---
 tools/checkembeddedfiles | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 tools/checkembeddedfiles

diff --git a/tools/checkembeddedfiles b/tools/checkembeddedfiles
new file mode 100755
index 000000000..8fd9a32e1
--- /dev/null
+++ b/tools/checkembeddedfiles
@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+# Check that all files embedded with file-embed are declared in extra-source-files
+
+set -e
+echo "Checking embedded file declarations:"
+mapfile -t embeddedfiles < <(rg --sort=path '^ +\$\(embedFileRelative "([^"]+)"' -or '$1' -I)
+status=0
+for f in "${embeddedfiles[@]}"; do
+    if output=$(rg --sort=path -l "$f" -- */package.yaml); then
+        printf '%-40s\tdeclared in %s\n' "$f" "$output"
+    else
+        printf '%-40s\tUNDECLARED\n' "$f"
+        status=1
+    fi;
+done
+if [[ $status != 0 ]]; then echo FAIL; else echo ok; fi
+exit $status