time i czytanie z niego

[karolp]

witam!

zapewne znacie komendę time, potrzebuję przekierować dane ze std. wyjścia na plik, czytałem man time - jest tam napisane, że time -o plik powinno załatwić sprawę (jest też time --output=plik). Niestety co nie wpiszę to konsola interpretuje to -o jako program/komenda a nie parametr. Próbowałem instalować time z paczki deb i jest to samo. Próbowałem także time > plik, niestety to nie działa i wypisuje na std. wyjście.

Czy ktoś mógłby mi pomóc?
pozdrawiam,

[beel]

Hmmm do www nie byłoby problemu, ale do pliku ... hmm

[ShinnRa]

[...]czytałem man time - jest tam napisane, że time -o plik powinno załatwić sprawę (jest też time --output=plik). Niestety co nie wpiszę to konsola interpretuje to -o jako program/komenda a nie parametr. [...]

I to jest prawidłowe działanie jeśli używasz bash'a jako powłoki...

Users of the bash shell need to use an explicit path in order to run the external time command and not the shell builtin variant.

Czyli powinieneś użyć polecenia:

Kod: Zaznacz cały

/usr/bin/time -o plik.log poleceni do wykonania

wtedy będziesz miał to co chcesz... Poczytaj także o opcji -f by mieć całkiem ładny wynik (User, Real, Sys, Avg, itp...)