Re: Como dar parametros al comando time
On Sat, May 11, 2002 at 06:23:44PM +0200, Lluis wrote:
> Pues que estoy intentando especificarle el formato al comando time, tal
> como dice en la pagina del manual con la opcion -f, pero siempre me pilla
> todos los parametros creyendose que son el ejecutable a temporizar... y
> claro, asi no funciona :P
>
> Alguien sabe como lo debo hacer?
Usando gafas :)))
del manual de bash:
[time [-p]] [ ! ] command [ | command2 ... ]
es con -p no con -f :)
--
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: