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
--
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 [email protected].
For more options, visit https://groups.google.com/d/optout.
