Đó có thể là câu hỏi của người mới, nhưng tôi không hiểu cách cấu hình này và tại sao định dạng đầu ra của time
lệnh lại khác nhau trong hai trường hợp sau:
nếu được sử dụng qua time
, đầu ra là ba hàng với thông tin cơ bản
$ time sleep 1
real 0m1.003s
user 0m0.000s
sys 0m0.000s
sau đó tôi có thể kiểm tra xem nhị phân nào được sử dụng
$ which time
/usr/bin/time
và gọi trực tiếp để nhận đầu ra ở định dạng hoàn toàn khác, với nhiều thông tin hơn
$ /usr/bin/time sleep 1
0.00user 0.00system 0:01.00elapsed 0%CPU (0avgtext+0avgdata 2000maxresident)k
0inputs+0outputs (0major+77minor)pagefaults 0swaps
không có bí danh liên quan đến time
$ alias | grep time
$
Tôi đang chạy Ubuntu 16.04
.
which
về cơ bản là vô dụng ...