On 09/17/2014 08:52 PM, William Hermans wrote:
Jimit, if the command */which time/* returns nothing, then it is not
installed. Install with apt-get install time.
On Wed, Sep 17, 2014 at 5:36 PM, Mike <bellyac...@gmail.com
<mailto:bellyac...@gmail.com>> wrote:
On 09/17/2014 08:05 PM, Jimit Doshi wrote:
@Robert
I get no response when I use the 'which' command. I think this is
kind of expected because I couldn't 'find' the 'time' executable
anywhere in the root directories.
@William
I think it is installed because it does measure the execution
times, however I am not able to find the path of it's installed
executable.
On Wednesday, September 17, 2014 7:37:39 PM UTC-4, William
Hermans wrote:
/voodoo@hestia:~$ which time/
//usr/bin/time/
Assuming its installed. So, in the case that it is not
installed . . .
# /*apt-get install time
*/
type -a time
Likely returns shell builtin, not what you are after.
apt-get install time
type -a time
Enjoy "time" formatted as you like...
Mike
--
Actually I misread my own test of that. As has been pointed out the
bottom line is install the time package.
time is not a shell builtin, it's a shell (bash) keyword. Using type -a
will show you this.
Using which will _not_ show builtins or keywords.
You mentioned having to use the full path to use the time command. That
comes down to order of execution by the shell.
Unless disabled, by default keywords and builtins will execute first,
then the search path.
A quick hack around using the full path is simply using a \ first i.e.
\time -f blah blah
mike@tightrope:~$ type -a time
time is a shell keyword
time is /usr/bin/time
time is /usr/bin/X11/time
mike@tightrope:~$ time --version
bash: --version: command not found
real 0m0.002s
user 0m0.000s
sys 0m0.000s
mike@tightrope:~$ \time --version
GNU time 1.7
mike@tightrope:~$
Mike
--
For more options, visit http://beagleboard.org/discuss
---
You received this message because you are subscribed to the Google Groups "BeagleBoard" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to beagleboard+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
