[fakename]$ help time
time: time [-p] pipeline
Report time consumed by pipeline's execution...
A partir disso, parece que time é um Bash interno. No entanto, não consigo encontrar uma descrição dele nesta página: link . Por que isso...
01.08.2018 / 23:42