lib-settings: Update settings-history.py to skip comments from input_file

diff --git a/src/lib-settings/settings-history.py b/src/lib-settings/settings-history.py
index e7be170a7ff8c2b6a3d2275dfa141e6b4cc3a658..4e689e5d7a1dc85f4445ecc2be7421d235438bae 100755 (executable)
--- a/src/lib-settings/settings-history.py
+++ b/src/lib-settings/settings-history.py
@@ -107,6 +107,9 @@ def process(input_file: str, contents: str, pro: bool) -> (str, str):
         line = line + 1
         values = data.split("\t")
 
+        if data.startswith("#") or data.isspace() or data == "":
+            continue
+
         if len(values) != 5:
             die(
                 f"{input_file}:{line}: "