* 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