Δίνοντας options στην εντολή time

[Christos Ricudis]

George Notaras wrote:
> Βλέπω πως η εντολή time δέχεται κάποια options, με τα οποία μπορεί 
> κανείς να αλλάξει το format των πληροφοριών που δίνει. Όσο κι αν 
> δοκίμασα, δεν δέχεται κανένα option, ούτε το --version:
>
> $ time --version
> bash: --version: command not found
>
> real    0m0.001s
> user    0m0.000s
> sys    0m0.000s
>
> το ίδιο φυσικά συμβαίνει όταν πάω να αλλάξω το format με την -f.
>
> Η man page κάνει λογο για κάποια GNU 1.7 version της time. Πώς μπορώ 
> να ξέρω ποια έκδοση έχω εγώ στο σύστημα?

Me thn entolh /usr/bin/time --version

Sto 68.27% twn periptwsewn pou kati de sas douleyei opws nomizete oti 8a 
eprepe, h aitia einai kapoio bash builtin.