Polskie Forum Użytkowników Debiana

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,

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

karolp pisze:[...]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...

Man Pages for time pisze: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:
wtedy będziesz miał to co chcesz... Poczytaj także o opcji -f by mieć całkiem ładny wynik (User, Real, Sys, Avg, itp...)