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/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| 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/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions