$ type /bin/echo /bin/echo is /bin/echo $ time /bin/echo "hello world" hello world real 0m0.009s user 0m0.002s sys 0m0.004s $ type echo echo is a shell builtin $ time echo "hello world" hello world real 0m0.000s user 0m0.000s sys 0m0.000s