[fakename]$ help time
time: time [-p] pipeline
Report time consumed by pipeline's execution...
Z tego wynika, że time
jest 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 bash
a następnie po prostu wpisz/time
/usr/bin/time
który jest podobny do bash, time
ale inny ....
type time
aby zobaczyć, co to jest.