diff options
author | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2017-09-14 01:03:39 +0300 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2017-09-14 01:03:39 +0300 |
commit | 0c368ef02f40fdc01641959be0d6a3ee8c1df5ff (patch) | |
tree | c7e627a2c03f1d6d403dab501254ba8cf548b559 /pkgs/development/idris-modules | |
parent | 62711f426536c2a1e2b80947fa352a0f8a5a127f (diff) | |
download | nixpkgs-0c368ef02f40fdc01641959be0d6a3ee8c1df5ff.tar nixpkgs-0c368ef02f40fdc01641959be0d6a3ee8c1df5ff.tar.gz nixpkgs-0c368ef02f40fdc01641959be0d6a3ee8c1df5ff.tar.bz2 nixpkgs-0c368ef02f40fdc01641959be0d6a3ee8c1df5ff.tar.lz nixpkgs-0c368ef02f40fdc01641959be0d6a3ee8c1df5ff.tar.xz nixpkgs-0c368ef02f40fdc01641959be0d6a3ee8c1df5ff.tar.zst nixpkgs-0c368ef02f40fdc01641959be0d6a3ee8c1df5ff.zip |
treewide: Escape backslash in strings properly
"\." is apparently the same as "." wheras the correct one is "\\."
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 3d0ea511e10..4d7c4928283 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -26,7 +26,7 @@ }; files = builtins.filter (n: n != "default") (pkgs.lib.mapAttrsToList (name: type: let - m = builtins.match "(.*)\.nix" name; + m = builtins.match "(.*)\\.nix" name; in if m == null then "default" else builtins.head m) (builtins.readDir ./.)); in (builtins.listToAttrs (map (name: { inherit name; |