Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

[FIXUP] Use attrset to store news ids

Browse source 
Avoid the quadratic complexity of looking up every news item in a list
of (almost) every news item.
This commit is contained in:
Robert Helgesson 2017-09-04 22:45:28 +02:00
parent 722c8b2363
commit 4cab2c21ab
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
home-manager/home-manager.nix
View file

@ -21,10 +21,14 @@ let
newsReadIds =
if newsReadIdsFile == null
then []
else splitString "\n" (fileContents newsReadIdsFile);
then {}
else
let
ids = splitString "\n" (fileContents newsReadIdsFile);
in
builtins.listToAttrs (map (id: { name = id; value = null; }) ids);
newsIsRead = entry: builtins.elem entry.id newsReadIds;
newsIsRead = entry: builtins.hasAttr entry.id newsReadIds;
newsFiltered =
let