Traté de usar el time
comando con -f
opción para formatear la salida del tiempo, pero aparece el siguiente error:
-f: command not found
Luego trató de utilizar otras opciones -a
, -o
etc y me sale el mismo error. Ni siquiera time --version
no funciona ( --version: command not found
).
No me digas que lea al hombre porque ya lo hago muchas veces ... Todas estas opciones se especifican allí. Entonces, ¿dónde podría estar el problema?
command-line
bash
time-command
usuario258266
fuente
fuente
sudo apt-get install --reinstall time
ayudar?time
con/usr/bin/time
Respuestas:
Bueno, incluso si no te gusta, te pondré a leer de nuevo con más atención
man time
. Al final de laEXAMPLES
sección encontrarás: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:y la salida probablemente será:
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:Esto sobrescribirá la palabra clave de shell
time
porque el comando:dará el siguiente resultado ahora:
fuente
info time
trata sobre el binario.help time
Se trata de la construcción.Como, como explican las otras respuestas,
time
es una palabra clave de shell, la única opción disponible es-p
:Entonces, necesitas ejecutar el
time
que está adentro/usr/bin
. Aquí hay algunas maneras de hacerlo:Utilice el
time
ejecutable en su lugar:Use lo
\
que hace que su shell ignore los alias y las palabras clave y, en su lugar, busque$PATH
un ejecutable que coincida:Use el
command
incorporado que tiene un efecto similar:Use un shell diferente, uno que no tenga esa palabra clave. Por ejemplo
sh
(que en realidad estádash
en Ubuntu):Use
which
, que buscará en su$PATH
(OK, este es tonto):fuente
time
con regular/usr/bin/time
? Es decir, traducir script bash en guión.time
, corretime
. Si desea el ejecutable independiente, ejecute/usr/bin/time
.time
el shell predeterminado de Ubuntu, que yo sepa. Quiero traducir la secuencia de comandos usando integrado en independiente con el mismo comportamiento.time
. Llamará a la que esté disponible. Ese será el incorporado para bash y el independiente para dash. Si lo usa/usr/bin/time
, siempre llamará al independiente, tanto en bash como en dash. Pero parece que probablemente debería estar haciendo una nueva pregunta, explicando el comportamiento que necesita. Avísame si lo haces e intentaré ayudarte.Los proyectiles
bash
yzsh
tienen sutime
comando interno . Tienes que usarPor cierto, descubrí que usando (desde
zsh
):fuente