diff options
| author |  Alexander Foremny <aforemny@posteo.de> | 2023-09-29 11:33:15 +0200 |
|---|---|---|
| committer | Alexander Foremny <aforemny@posteo.de> | 2023-09-29 11:37:01 +0200 |
| commit | 24700382f2e1f9b1dac1de3e8170294cf0c818d4 (patch) | |
| tree | 6eb4a8c469912307c7b767f1894ce5504845266f /src/extract-sh.sh | |
| parent | 3592e5b055ad0fcd70d1ae9e4804a4b5c6a77c5d (diff) | |
fix extracting body for shell issues
The underlying problem is that tree-sitter does not allow for matching
sibling nodes. So any issues comprised of line comments (vs. block
comments) suffered from this issue, independent of the language (shell).
Thus, we manually merge such sibling matches after running tree-grepper.
Diffstat (limited to 'src/extract-sh.sh')
| -rwxr-xr-x | src/extract-sh.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/extract-sh.sh b/src/extract-sh.sh index c31df74..a8bb1ff 100755 --- a/src/extract-sh.sh +++ b/src/extract-sh.sh @@ -3,6 +3,6 @@ set -efu TREE_GREPPER_LANGUAGE=sh \ -TREE_GREPPER_QUERY='((comment)+)' \ +TREE_GREPPER_QUERY='(comment)' \ LINE_COMMENT_START='#' \ "$(dirname "$0")"/extract-generic.sh "$@" |