diff options
author | David Kalnischkies <david@kalnischkies.de> | 2015-12-14 00:33:22 +0100 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2015-12-14 00:33:22 +0100 |
commit | 8deda84ed86bae6bfa83f5c25d15fd4611c637c0 (patch) | |
tree | 7cb836c7cfaeacb2669d15b4c50305c474818701 /apt-pkg/makefile | |
parent | c1ab34c75f7e98fa1a9686c7bc59e578e1ae9572 (diff) |
redirect which stderr to /dev/null for consistency
The "standard" which (debianutils) has no output whatsoever on stderr,
bash and dash which use this implementation therefore haven't either.
In zsh 'which' is a shell built-in – and has no stderr output either, it
does print an error message on stdout…
So, realistically, a redirection isn't needed at all, but it also can't
hurt (<- I have said that before in this context ->) so why not for
consistency with… well, not with "command -v" as that hasn't an error
message either. Lets say for consistency with my mental image of shell,
as I am still a bit puzzled by zsh's which and now could imagine even
more strange things in other shells.
Closes: 807373
Diffstat (limited to 'apt-pkg/makefile')
0 files changed, 0 insertions, 0 deletions