予約語と組み込みコマンドの比較、およびtimeコマンドの出力のフォーマット

8

bashの予約語と組み込みコマンドの違いは何ですか？

bashの時間を無効にして使用できます/usr/bin/timeか？そうでない場合、どのように出力をフォーマットできますか？

bash

— 銭
ソース

1

実際には環境変数があります。時間の出力を指定するTIMEFORMATです。

— Qian

9

ほとんどの予約語は、bashに組み込まれているコマンドです。予約語と同じ名前の実行可能ファイルを使用する場合は、実行可能ファイルへのフルパスを指定するか、バックスラッシュでコマンドをエスケープします。

$ time

real    0m0.000s
user    0m0.000s
sys 0m0.000s
$ \time
Usage: time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--help] command [arg...]
$ then
bash: syntax error near unexpected token `then'
$ \then
bash: then: command not found

また、BASH FAQ＃32：「「time」の出力を変数またはファイルにリダイレクトするにはどうすればよいですか？」。

— イグナシオ・バスケス＝エイブラムス
ソース

厳密に言えば、例が示すように、予約語は必ずしもコマンドであるとは限りません。

— JdeBP

1

builtin <cmd>およびcommand <cmd>を使用して、bash組み込みコマンドまたは外部コマンドを強制的に呼び出すことができます。

— user1686
ソース