Bueno, incluso si no te gusta, te pondré a leer de nuevo con más atención man time
. Al final de la EXAMPLES
sección encontrarás:
Users of the bash shell need to use an explicit path in order to run
the external time command and not the shell builtin variant. On system
where time is installed in /usr/bin, the first example would become
/usr/bin/time wc /etc/hosts
Por lo tanto, supongo que usa bash shell que usa una versión interna de time
, proporcionada como una palabra clave de shell. Puede verificar esto usando el siguiente comando:
type time
y la salida probablemente será:
time is a shell keyword
Si este es el caso, entonces está claro, a utilizar el verdadero time
mandato, debe utilizar su ruta explícita: /usr/bin/time
.
Además, si no desea usar más la palabra clave de shell time
, puede crear un alias permanente de la siguiente manera:
alias time='/usr/bin/time'
Esto sobrescribirá la palabra clave de shell time
porque el comando:
type time
dará el siguiente resultado ahora:
time is aliased to `/usr/bin/time'
sudo apt-get install --reinstall time
ayudar?