diff options
author | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2019-02-28T23·54+0100 |
---|---|---|
committer | Guillaume Maudoux <layus.on@gmail.com> | 2019-03-09T23·56+0100 |
commit | ebc86550f92ec76cda0961ecc625944ec402d2cd (patch) | |
tree | 50c7349a7569139b544c4173ac27064b36a0e432 /release.nix | |
parent | a17f86ce3a67dd2dab2329d7262bc4ad4e7c37ff (diff) |
Make roots a map of store paths to pinning links
This new structure makes more sense as there may be many sources rooting the same store path. Many profiles can reference the same path but this is even more true with /proc/<pid>/maps where distinct pids can and often do map the same store path. This implementation is also more efficient as the `Roots` map contains only one entry per rooted store path.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions