外部コマンドではなく、bashで組み込みの「time」コマンドを使用する

timeコマンドを使用してtime、外部のGNU timeコマンドではなく、組み込みのコマンドを使用する必要がある状況に遭遇しました/usr/bin/time。だから、どうすればこれを行うことができますか？私はどこかで使用enableおよび/またはcommand役立つだろうを見ましたが、彼らはしませんでした。

これはユースケースです：

watch "time ls"

外部/usr/bin/timeコマンドを使用しますが、これは望ましくありません！これは、端末で次のようtimeに実行するときに内部bash関数を呼び出すと発生しますtime ls。

$ time ls

正反対の要求はここで回答されていることに注意してください。

• bashにシェル組み込みではなく外部の `time`コマンドを使用させる

2つのコマンドには多くの違いがあります。内部timeはより正確ですが（必要な場合）、外部コマンドにはより多くのオプションがあります（必要ありません）。

デフォルトでwatchは、コマンドを実行する/bin/sh -c '...'ので、表示される出力/bin/shはtimeコマンドの解釈方法です。/bin/shどうやらあなたは組み込みがありませんtime。

別のシェルでコマンドを実行するに-xは、デフォルトを削除するオプションを使用してから、組み込みが必要なシェルの明示的な呼び出しを追加します。

watch -x bash -c 'time ls'
watch -x zsh -c 'time ls'

実行方法に関係watchなく、監視しているコマンドはコマンドを実行したシェルの子ではないwatchため、シェルの設定は直接関係しません。