diff options
author | Profpatsch <mail@profpatsch.de> | 2022-09-07 02:55:18 +0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2022-11-04 18:14:33 +0100 |
commit | 2de554d51215f318b992028ba569ea546bb57306 (patch) | |
tree | e9af6f9b50132a99a9e35614121ae1531710598f /pkgs/development/tools/parsing/tree-sitter/grammars | |
parent | a64a9d5552a62627ccb562c6f5ffa9c6312726e1 (diff) |
tree-sitter/update: Fetch repositories in parallel
This was the main annoyance with the existing script, it would fetch one repository after the other instead of multiple in parallel. The `xe` tool is a simple `xargs`-like that can do that. We put the json information for all repositories into a file with one object per line, then pass that to xe.
Diffstat (limited to 'pkgs/development/tools/parsing/tree-sitter/grammars')
0 files changed, 0 insertions, 0 deletions