feat(web/todolist): Drop 'TODO' prefixes in individual items

This modifies the capture regex executed by `jq` to capture the TODO
text itself as a separate capture group, which is then used for the
content of the TODO listing.

The web listing looks much cleaner this way.

Change-Id: I00a14da57b315a353f700c112ba33f38e16f1f85
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2749
Tested-by: BuildkiteCI
Reviewed-by: flokli <flokli@flokli.de>
This commit is contained in:
Vincent Ambo 2021-04-01 16:19:50 +02:00 committed by tazjin
parent 19b3cfb9b6
commit e096146937

View file

@ -3,15 +3,20 @@
#
# This assumes that the filter used is something like 'TODO\(\w+\):'
# Capture the username and todo entry from an input string.
def capture_todo:
capture("TODO\\((?<user>\\w+)\\):\\s+(?<todo>.*)$");
# Construct a structure with only the fields we need to populate the
# page.
def simplify_match:
.data.submatches[0].match.text as $todo
.data as $data
| (.data.submatches[0].match.text | capture_todo) as $capture
| {
file: (.data.path.text | sub("/nix/store/.+-depot/"; "")),
line: .data.line_number,
todo: $todo,
user: ($todo | capture("TODO\\((?<user>\\w+)\\)") | .user),
file: ($data | .path.text | sub("/nix/store/.+-depot/"; "")),
line: ($data | .line_number),
todo: ($capture | .todo),
user: ($capture | .user),
};
# Group all matches first by the user and return them in sorted order