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 <[email protected]> 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 > > -- > 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. > -- 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.
