「time command」でコマンドの出力をリダイレクトします

私は何かを使って時間を計ろうとしています：

/usr/bin/time myCommand

ただし、/usr/bin/timestderrに書き込むため、myCommandもstderrに書き込む場合、ストリームで出力されるのは時間だけではありません。私がやりたいことは、myCommandのすべての出力を/dev/nullにリダイレクトし、時間の出力をstderrに書き込みます。のstderrに書き込むmyCommandの例を使用するls /nofileと、次のように（明らかに）出力がまったくないことがわかります。

$ /usr/bin/time ls /nofile 2> /dev/null
$

リダイレクトを行わない場合、ls（stderrへの）からの出力と（stderrへの）時間からの出力の両方が表示されます。

$ /usr/bin/time ls /nofile
ls: cannot access /nofile: No such file or directory
0.00user 0.00system 0:00.00elapsed 0%CPU (0avgtext+0avgdata 3776maxresident)k
0inputs+0outputs (0major+278minor)pagefaults 0swaps

私が欲しいのは単に生成するものです：

$ /usr/bin/time ls /nofile > RedirectThatImAskingFor
0.00user 0.00system 0:00.00elapsed 0%CPU (0avgtext+0avgdata 3776maxresident)k
0inputs+0outputs (0major+278minor)pagefaults 0swaps

何か案は？

kshでは、bashとzsh timeはキーワードであり、組み込みではありません。同じ行のリダイレクトは、タイミングがとられているコマンドにのみ適用され、timeそれ自体の出力には適用されません。

$ time ls -d / /nofile >/dev/null 2>/dev/null

real    0m0.003s
user    0m0.000s
sys     0m0.000s

timeこれらのシェルでそれ自体からの出力をリダイレクトするには、グループ化の追加レベルを使用する必要があります。

{ time mycommand 2>&3; } 3>&2 2>mycommand.time

スタンドアロンtimeユーティリティのGNUバージョンを使用する場合、stderr以外-oのtime場所の出力を書き込むオプションがあります。time端末に書き込むことができます：

/usr/bin/time -o /dev/tty mycommand >/dev/null 2>/dev/null

time標準エラーからの出力を維持したい場合は、追加レベルのファイル記述子シャッフルが必要です。

/usr/bin/time -o /dev/fd/3 mycommand 3>&2 >/dev/null 2>/dev/null

任意のtimeユーティリティを使用して、中間シェルを呼び出し、必要なリダイレクトを実行できます。cd、リダイレクトなどの追加のアクションを実行するために中間シェルを呼び出すことはかなり一般的です。これは、シェルが行うように設計された小さなことの一種です。

/usr/bin/time sh -c 'exec mycommand >/dev/null 2>/dev/null'

[artur@asus-ux21e ~]$ find /etc/pki/CA/private/
/etc/pki/CA/private/
find: ‘/etc/pki/CA/private/’: Permission denied
[artur@asus-ux21e ~]$ time (find /etc/pki/CA/private/ &> /dev/null)

real    0m0.006s
user    0m0.001s
sys 0m0.004s