Linux.pl »

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

Nowe posty

xx Problem ze sterownikami. (5)
2024-04-13, 21:25:16
xx Instalacja xfce4 (2)
2024-04-13, 16:20:17
xx Serie kompilacji bez instalacji dla “emerge” w Gentoo (2)
2024-04-08, 18:40:04
xx Plasma 6 w Neonie ssie trochę mniej ... (17)
2024-04-05, 10:03:46
xx Problem z Linux Lite po instalacji (3)
2024-04-03, 14:23:40
xx Jak właczyć num locka przy starcie systemu debian 12? (12)
2024-04-02, 17:43:54
xx Brak dźwieku w systemie. (5)
2024-04-02, 16:13:41
xx Dystrybucja pod HP Omen (7)
2024-03-29, 11:33:05
xx [Poradnik] Wyszukiwanie Sterowników (2)
2024-03-27, 21:08:23
xx Ile pingwinów? (1)
2024-03-27, 08:59:24
« poprzedni następny »
Strony: [1]   Do dołu

Autor Wątek: time - zapis do pliku  (Przeczytany 3616 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 »