👷 Ensure that no version/date might confuse users that read the raw text-file(s)

diff --git a/scripts/lint.js b/scripts/lint.js
index 89cb7cbd2959073c3a49ce16b8ec6a00d6aa7191..f7e9f8711b692d372c68e26eb43e094271b6a6e4 100644 (file)
--- a/scripts/lint.js
+++ b/scripts/lint.js
@@ -22,6 +22,12 @@ const path = require("path");
                                isHeaderComplete = true;
                        }
 
+                       // Ensuring that no version/date might confuse users that read the raw text-file(s)
+                       if (line.length > 0 && !line.indexOf("Version")) {
+                               console.error(`Line ${index + 1} in ${file} must not contain a Version/Date.`);
+                               hasError = true;
+                       }
+
                        // Ensuring that all lines start with "#" or "0.0.0.0 "
                        if (line.length > 0 && !line.startsWith("#") && !line.startsWith("0.0.0.0 ")) {
                                console.error(`Line ${index + 1} in ${file} must start with "#" or "0.0.0.0 ".`);