diff options
| author | Doron Behar <doron.behar@gmail.com> | 2023-07-22 17:36:25 +0300 |
|---|---|---|
| committer | Doron Behar <doron.behar@gmail.com> | 2023-07-23 18:22:33 +0300 |
| commit | 047fa8dbdfc31476d9420f303596eb78172cddcf (patch) | |
| tree | 537a54adf0fba9273a0f53e308b9564cede302fc /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 7b5e394e7573b5b364e332a38653ee015b498817 (diff) | |
nixos/syncthing: Use API to merge / override configurations
If one sets either of `override{Device,folder}s` to false, the jq `*`
operator doesn't merge well the devices and folders, creating duplicate
IDs for folders as observed in #230146. This PR makes the script iterate
via Nix / Bash loop the devices and folders IDs and merges the keys
using upstream's `curl -X POST` support for single objects.
Hence this commit fixes #230146.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions