~からバッシュリファレンスマニュアル、times（強調）：
使用されたユーザーとシステム時間を印刷します。シェルそしてその子供たち。
からhelp times：
累積ユーザーとシステム時間を印刷します。シェルそしてすべてのサブプロセス。
「シェルとその子が使う時間」とは？
たとえば、数ヶ月間実行された bash シェルでは、次のようになります。
$ times
0m0.152s 0m0.080s
0m15.804s 0m13.296s
シェルとそのサブプロセスで使用されるさまざまな時間が1分未満であることはどのように可能ですか？
ベストアンサー1
ヘルプ時間から：
累積印刷ユーザーとシステム時間シェルとすべての子プロセスの場合。
ストレスを感じるfor the shell and all of its child processesときは、もっと注意を払う必要がありますuser and system times。
ユーザー時間とシステム時間はリアルタイム（または時計）時間ではなく、それぞれユーザーコードとシステム関数の呼び出しに使用されるCPU時間です。
ただし、time組み込みプログラム（同じ名前の外部ユーティリティを含む）は、リアルタイム、ユーザー時間、およびシステム時間の3つの時間をすべて表示できます。からhelp time：
PIPELINEを実行してPIPELINEが終了すると、PIPELINEの実行に費やされたリアルタイム、ユーザーCPU時間、およびシステムCPU時間の要約が印刷されます。
ところで。 Bash 組み込みtime出力形式は設定可能です。私は3行を無駄にするのではなく、端末の1行だけを使用するように次のコマンドを使用するのが好きです。
export TIMEFORMAT=$'\nreal %3lR\tuser %3lU\tsys %3lS'
time外部ユーティリティ（ ）のGNUバージョンを使用するか、/usr/bin/timeオプションを使用して出力形式を設定できます。他のバージョンにも同様のオプションがある場合とない場合があります...わかりません。調べたくありません。-f--format