Как получить выходные данные команды времени в файле?

Question 1

Я выполнил команду time echo "Hello world" | tee output.txt , ожидающий получить полный вывод на оба терминала stdout и файл output.txt . Однако содержимое файла отличается от ожидаемого:

Ожидаемое содержимое файла:

Hello world

real 0m0.000s
пользователь 0m0.000s
sys 0m0.000s

Фактическое содержание:

Hello world "

кто-нибудь может помочь?

Question 2

time Записывает статистику времени в stderr . Итак, нам нужно перенаправить поток stderr в stdout , а затем перенаправить его вывод на tee.

(time echo "Hello world") 2>&1 | tee output.txt

Здесь

нам нужно взять (time echo) как одну команду, поэтому используется фигурные скобки,
перенаправил stderr на stdout ,
передал stdout в tee .

score 4 · Accepted Answer · 2 August 2020 в 22:01

time Записывает статистику времени в stderr . Итак, нам нужно перенаправить поток stderr в stdout , а затем перенаправить его вывод на tee.

(time echo "Hello world") 2>&1 | tee output.txt

Здесь

нам нужно взять (time echo) как одну команду, поэтому используется фигурные скобки,
перенаправил stderr на stdout ,
передал stdout в tee .

Как получить выходные данные команды времени в файле?

1 ответ

Другие вопросы по тегам:

Похожие вопросы: