글쎄, 당신이 그것을 좋아하지 않더라도, 나는 당신이 더 많은주의를 기울여 다시 읽게 할 것 man time
입니다. EXAMPLES
섹션 의 끝에는 다음이 있습니다.
Users of the bash shell need to use an explicit path in order to run
the external time command and not the shell builtin variant. On system
where time is installed in /usr/bin, the first example would become
/usr/bin/time wc /etc/hosts
따라서 time
쉘 키워드로 제공된 내부 버전을 사용하는 bash 쉘을 사용한다고 가정합니다 . 다음 명령을 사용하여이를 확인할 수 있습니다.
type time
출력은 아마도 다음과 같습니다.
time is a shell keyword
이 경우 real time
명령을 사용하려면 분명한 경로를 사용해야합니다 /usr/bin/time
.
또한 더 이상 shell keyword를 사용하지 않으려면 다음과 같이 영구 별칭 을 만들time
수 있습니다 .
alias time='/usr/bin/time'
다음 time
명령 때문에 쉘 키워드를 덮어 씁니다 .
type time
이제 다음과 같은 결과가 나타납니다.
time is aliased to `/usr/bin/time'
sudo apt-get install --reinstall time
도와 드릴까요?