Re: Problem with time command

To: debian-user@lists.debian.org
Subject: Re: Problem with time command
From: Teemu Likonen <tlikonen@iki.fi>
Date: Thu, 07 Apr 2011 06:54:18 +0300
Message-id: <[🔎] 87vcyqpvh1.fsf@mithlond.arda>
Mail-followup-to: debian-user@lists.debian.org, tlikonen@iki.fi
In-reply-to: <[🔎] 201104051402.34316.bss@iguanasuicide.net> (Boyd Stephen Smith, Jr.'s message of "Tue, 5 Apr 2011 14:02:34 -0500")
References: <[🔎] BANLkTimHMYNirW_3ai2ty_bsDQW8f=UBQw@mail.gmail.com> <[🔎] 201104051402.34316.bss@iguanasuicide.net>

* 2011-04-05T14:02:34-05:00 * Boyd Stephen Smith, Jr. wrote:

> bss@dellbuntu:~$ type time
> time is a shell keyword

There is also this useful option "-a":

    $ type -a time
    time is a shell keyword
    time is /usr/bin/time

Reply to:

References:
- Problem with time command
  - From: Fabio Dellacorte <iloveyoumaryanna@gmail.com>
- Re: Problem with time command
  - From: "Boyd Stephen Smith Jr." <bss@iguanasuicide.net>

Prev by Date: Re: [help-a-newb] setting grub
Next by Date: Re: Hash salt (was Re: BCRYPT - Why not using it?)
Previous by thread: Re: Problem with time command
Next by thread: Re: Problem with time command
Index(es):
- Date
- Thread