[fakename]$ help time
time: time [-p] pipeline
Report time consumed by pipeline's execution...
Z tego wynika, że timejest to wbudowane Bash. Jednak nie mogę znaleźć opisu tego na tej stronie: https://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands . Dlaczego tak jest?
man basha następnie po prostu wpisz/time
/usr/bin/timektóry jest podobny do bash, timeale inny ....
type timeaby zobaczyć, co to jest.