Re: Como dar parametros al comando time
On Mon, May 13, 2002 at 08:58:43PM +0200, Lluis wrote:
> Bueno, ya lo he solucionado, aunque aun no lo entiendo:
>
> En casa, en el manual de time tb aparece la opcion -f (para especifiar el
> formato en que se quiere obtener el resultado), pero antes de preguntar tb
> probe con -p
>
> Por si a alguien le interesa, lo solucione especificando el path completo
> al binario de time, pues asi SI que pilla los parametros correctamente i,
> en canvio, si se hace "a saco" (entiendase, un 'time <comando>' a secas),
> interpreta los parametros como parte del comando a temporizar.
>
Creo que hay dos time, uno que viene "dentro" del BASH y otro que es un
programa. Por defecto el bash siempre ejecuta sus comandos asique
almenos que le pases el path entero nunca te ejecutará el programa.
--
Javier Fafián Alvarez |La vida es aquello que te va sucediendo
Debian/GNU Linux |mientras tu te empeñas en hacer otros planes.
--
To UNSUBSCRIBE, email to debian-user-spanish-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: