Linux.pl »

Baza sprzętu »
Rozdajemy Linuksa »
Poczta Linux.pl »
Hosting Linux.pl »

Nowe posty

exclamation ePBF & Observability meetup in Warsaw (0)
2024-05-16, 08:51:28
xx Chrome vs Firefox – która przeglądarka internetowa jest lepsza (2)
2024-05-15, 16:08:47
xx Linux Mint 21.3 XFCE brak dźwieku po paru minutach (karta muzyczna zintegrowana) (6)
2024-05-15, 08:24:30
xx Webmin - nie mogę uruchomić lokalnie wirtualnego hosta (1)
2024-05-13, 17:06:50
xx Linux Mint 21.3 Virginia brak dźwięku (9)
2024-05-11, 12:41:15
xx Jak automagicznie wyłączyć laptop jeżeli nikt nie wpisze hasła po np 1 minucie (3)
2024-05-08, 23:13:18
xx Problem z instalacją Linux Mint LMDE 6 "Faye" (0)
2024-05-05, 10:24:00
xx Laptop 2024 (1)
2024-05-04, 17:47:16
xx Linux pod Web Dev na Gamingowego laptopa :) (1)
2024-04-29, 12:45:49
xx Jak zoptymalizować wydajność systemu Arch Linux? (1)
2024-04-27, 21:27:53
« poprzedni następny »
Strony: [1]   Do dołu

Autor Wątek: time - zapis do pliku  (Przeczytany 3644 razy)

shnela

  • Gość
time - zapis do pliku
« dnia: 2011-12-23, 21:27:36 »
Witam,
chciałbym wynik time wpisać do pliku, przy wpisaniu
Kod: [Zaznacz]
time ./odpal
daje wynik  ok, ale przy
Kod: [Zaznacz]
time -o time.out ./odpal
zwraca
Kod: [Zaznacz]
-bash: -o: nie znaleziono polecenia
Zapisane

chmooreck

  • Gość
time - zapis do pliku
« Odpowiedź #1 dnia: 2011-12-23, 22:06:11 »
time jest wbudowanym poleceniem bash'a (man bash), skorzystaj z wywołania /usr/bin/time (czy gdzie tam masz w systemie)
Zapisane
Strony: [1]   Do góry
« poprzedni następny »