Yes.
When you use bash as the shell, options do not work because "time" is also a bash keyword (wich does not take options).
From "man time":
Quote:
Users of the bash shell need to use an explicit path in order to run the external time command and not the shell builtin variant.
|
So this does not work:
Code:
bash$ time --verbose sleep 1
But this does:
Code:
bash$ /usr/bin/time --verbose sleep 1
Because in the latter example, you are explicitly calling the
program "time", instead of the bash keyword.