さて、あなたがそれを気に入らなくても、私はあなたにもっと注意してもう一度読んでもらいます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
これが当てはまる場合は、明らかであり、実際の time
コマンドを使用するには、明示的なパスを使用する必要があります/usr/bin/time
。
さらに、シェルキーワードを使用したくない場合は、次のように永続的なエイリアスを作成time
できます。
alias time='/usr/bin/time'
time
コマンドは次の理由でシェルキーワードを上書きします。
type time
次の出力が表示されます。
time is aliased to `/usr/bin/time'
sudo apt-get install --reinstall time
助けて?