* 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
--
To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/87vcyqpvh1....@mithlond.arda
