fix(grep): explicitely set --no-hidden because of the git filter

This commit is contained in:
Folke Lemaitre 2025-01-15 09:53:52 +01:00
parent 76fbf9e8a8
commit ae2de9aa81
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040

View file

@ -29,6 +29,8 @@ local function get_cmd(opts, filter)
-- hidden
if opts.hidden then
table.insert(args, "--hidden")
else
table.insert(args, "--no-hidden")
end
-- ignored