BUG time Debian

[Slavek Banko]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Vězte, že b) je správně :-). Ale je pravda, že to byl chyták. Není totiž 
"time" (viz man bash) jako /usr/bin/time (viz man time)...

Slávek.

Dne ne 17. duben 2005 00:47 AntiTrust2 napsal(a):
> alebo som blb?
>
> DD
>
> SARGE, 2.4.29 vanilla, bash aj zsh
>
> ii  time           1.7-21         The GNU time program for measuring
> cpu resou
>
>
> 1. Chyba spociva v tom, ze time neakceptuje opsny.
> Napr.: (copy/paste z MANu!)
> ~# time -f "%E real,%U user,%S sys" ls -Fs
> bash: -f: command not found
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)

iD8DBQFCYZ1rBqd9Bu0fSIQRAgcCAJ4rmH17YAQEdbl7B0JM6+IXUsQZcwCgiC+L
mdtFZ3q85OmK1BCYHfO1wTM=
=LXaS
-----END PGP SIGNATURE-----