diff options
| author | Razvan Becheriu <razvan@isc.org> | 2023-05-12 11:44:25 +0200 |
|---|---|---|
| committer | Razvan Becheriu <razvan@isc.org> | 2023-05-12 11:46:14 +0200 |
| commit | 02dc9b82e3cb701f39a0f5ac1c455583fea33011 (patch) | |
| tree | e7f7249de2da22516e95f85d446e85eb97c56a3e /tools | |
| parent | [#2786] fixed UTs when backends are disabled (diff) | |
| download | kea-02dc9b82e3cb701f39a0f5ac1c455583fea33011.tar.xz kea-02dc9b82e3cb701f39a0f5ac1c455583fea33011.zip | |
[#2786] addressed review comments
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check-for-json-errors-in-doc.sh | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/tools/check-for-json-errors-in-doc.sh b/tools/check-for-json-errors-in-doc.sh index 0116e752ea..b8b460c336 100755 --- a/tools/check-for-json-errors-in-doc.sh +++ b/tools/check-for-json-errors-in-doc.sh @@ -32,20 +32,8 @@ for file in $files; do comment=0 echo "" >> $work_file continue - elif [ $comment -eq 0 -a $json -eq 0 -a $(echo "$line" | grep "^\s*{\|^\s*\".*{" | grep -v "}" | grep -v "key\|pre" | wc -l) -eq 1 ]; then + elif [ $comment -eq 0 -a $json -eq 0 -a $(echo "$line" | grep "^\s*{\|^\s*\".*{" | grep -v "}" | wc -l) -eq 1 ]; then # if this is not a comment and the line starts with spaces followed by '{' or by '"' followed by "{" - # ignore dns config: - # key "key.four.example.com." { - # algorithm hmac-sha224; - # secret "bZEG7Ow8OgAUPfLWV3aAUQ=="; - # }; - # ignore detailed html: - # .. raw:: html - # <details><summary>Expand here!</summary> - # <pre>{ - # ... - # }</pre> - # </details><br> json=1 # ignore any map name before top level map line=$(echo "$line" | sed "s/.*{/{/g") |