Make gitignoreSourceWith short-circuit

This has been broken since its introduction due to a typo.
`lib.cleanSourceWith` uses the field `origSrc` to store the initial path
prior to processing— which is presumably what the author intended.

With this change, `gitignoreSource (lib.sources.trace /path/to/repo)` no
longer incorrectly prints ignored paths.

Change-Id: I475cee9576dd9969f5fe5127d937bc7fb480eb22
This commit is contained in:
V 2023-07-02 19:26:10 +02:00
parent 43e1aa1308
commit 7a023a99ca

View file

@ -23,7 +23,7 @@ let
gitignoreSourceWith = { path }:
lib.cleanSourceWith {
name = "source";
filter = find-files.gitignoreFilterWith { basePath = path.origPath or path; };
filter = find-files.gitignoreFilterWith { basePath = path.origSrc or path; };
src = path;
};