You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems that hlint -g not only checks tracked and checked in files, but also files that are untracked.
In #1090 (comment)@ndmitchell said that hlint -g runs git ls-files --cached --others --exclude-standard *.hs *.lhs. But this includes the --others flag, which does, according to the git docs:
-o, --others
Show other (i.e. untracked) files in the output
And indeed:
❯ hlint --git -v .
# Execute of /home/turion/.nix-profile/bin/git ls-files --cached --others --exclude-standard *.hs *.lhs... took 0.00s
[...]
I believe this is at odds with what hlint tries to achieve, according to the docs:
-g --git Run on files tracked by git
The text was updated successfully, but these errors were encountered:
It seems that
hlint -g
not only checks tracked and checked in files, but also files that are untracked.In #1090 (comment) @ndmitchell said that
hlint -g
runsgit ls-files --cached --others --exclude-standard *.hs *.lhs
. But this includes the--others
flag, which does, according to the git docs:And indeed:
I believe this is at odds with what
hlint
tries to achieve, according to the docs:The text was updated successfully, but these errors were encountered: