Boyd Stephen Smith Jr. wrote: > GNU time 1.7 > bss@dellbuntu:~$ type time > time is a shell keyword > > (Bash has a time "builtin" that you should avoid if you want to use the time > binary.)
Actually it's a keyword not a builtin. By contrast, "kill": chrisj@alice$ type kill kill is a shell builtin This also means you can't disable it: chrisj@alice$ enable -n time bash: enable: time: not a shell builtin Not sure why time is a keyword (on a par with if, for etc.) rather than a builtin, but there you go. If anyone has any enlightenment, I'd be curious ;) -- Chris Jackson Shadowcat Systems Ltd. -- 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/4d9c342a.1090...@shadowcat.co.uk
