Δίνοντας options στην εντολή time
Manolis Kiagias
sonicy at otenet.gr
Thu May 29 18:08:33 EEST 2008
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. Πώς μπορώ
> να ξέρω ποια έκδοση έχω εγώ στο σύστημα?
>
>
Hehe, αυτό είναι classic. Χρησιμοποιείς bash, οπότε όταν γράφεις απλώς
time τρέχει το built-in του bash.
Δοκίμασε με
/usr/bin/time --version
More information about the Linux-greek-users
mailing list