перенаправить вывод {time}
Вы можете использовать diff -y file1 file2 .
Это даст вам параллельный вывод из обоих файлов. Он также имеет другие параметры для анализа вашего вывода .. Просмотрите страницу руководства , чтобы узнать о дополнительных параметрах.
1
Matt Clark
14.04.2016, 18:04
Ссылка
2 ответа
Если вы используете не внутреннюю версию bash, а инструмент GNU (например, / usr / bin / time ), вы есть опция -o , как объясняется в man time :
/usr/bin/time -po outfile.txt curl "http://www.google.com"
запишет время в outfile.txt .
GNU time имеет множество опций для форматирования вывода, подробности см. На странице руководства.
1
Sven
27.01.2020, 23:25
Ссылка
Вы можете попробовать с помощью
{ время завитка -s https://www.google.com ; } > body.txt 2> time.txt
2
Kelzier
27.01.2020, 23:25
Ссылка