Це може бути питання новачка, але я не розумію, як це налаштовано і чому вихідний формат time
команди відрізняється в цих двох випадках:
якщо використовується через time
, вихід має три рядки з базовою інформацією
$ time sleep 1
real 0m1.003s
user 0m0.000s
sys 0m0.000s
то я можу перевірити, який двійковий використовується
$ which time
/usr/bin/time
і зателефонуйте йому безпосередньо, щоб отримати вихід у абсолютно іншому форматі із значно більшою кількістю інформації
$ /usr/bin/time sleep 1
0.00user 0.00system 0:01.00elapsed 0%CPU (0avgtext+0avgdata 2000maxresident)k
0inputs+0outputs (0major+77minor)pagefaults 0swaps
псевдонімів, пов’язаних із цим, немає time
$ alias | grep time
$
Я бігаю Ubuntu 16.04
.
which
в принципі марно ...