The Bash 'type' command reports the following information for 'time':

    $ type time
    time is a shell keyword




--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to