This commit is contained in:
zimbatm 2022-08-22 21:55:27 +02:00
parent 825abbb40e
commit 318e18ecdc
No known key found for this signature in database
GPG Key ID: 71BAF6D40C1D63D7

View File

@ -103,12 +103,12 @@ rec {
in
if builtins.isFunction f then f args
else path: type:
(if pathIsDirectory then
inDirectory path_ args path type
else
path_ == path) || args.matchParents
&& type == "directory"
&& _hasPrefix "${path}/" path_;
(if pathIsDirectory then
inDirectory path_ args path type
else
path_ == path) || args.matchParents
&& type == "directory"
&& _hasPrefix "${path}/" path_;
# Makes sure a path is: