Hi, On 6 March 2013 20:23, Gregor Jasny <gja...@googlemail.com> wrote: > Hello, > > I'll fix the shell rediretion with the next upload. But the other > complain puzzles me:
Thanks > On 2/24/13 7:07 AM, Raphael Geissert wrote: > Your linked Wiki page states: >> Also, the following can be used to check for the presence of the time >> program. >> ... >> > # if statement >> if [ ! "$(command -v time)" ]; then >> echo "time is not installed" >> exit 1 >> fi > > So the example also uses the -v option. Is the -v option allowed or not? Good catch; I haven't reviewed that page in a while and there have been quite some changes since. -v may or may not be implemented, so it shouldn't be used either. In Debian (and its derivatives) you can rely on the which(1) command; it also works on FreeBSD and some other systems but it's best not to pass any option to it. Cheers, -- Raphael Geissert -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
