Redirecione a saída de um comando no comando `time`

Estou tentando cronometrar algo usando:

/usr/bin/time myCommand

No entanto, como /usr/bin/timeescreve no stderr, se o myCommand também grava no stderr, receberei mais do que apenas a saída do tempo no fluxo. O que eu quero fazer é redirecionar toda a saída do myCommand para /dev/null, mas ainda gravar a saída do tempo no stderr. Usando um exemplo myCommand que grava no stderr of ls /nofile, vemos que (obviamente) não há saída alguma com o seguinte:

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

Sem nenhum redirecionamento, vemos a saída de ls(para stderr) e a saída de tempo (também para 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

O que eu quero é algo que simplesmente produz:

$ /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

Alguma ideia?

No ksh, bash e zsh, timeé uma palavra-chave, não um builtin. Os redirecionamentos na mesma linha aplicam-se apenas ao comando que está sendo cronometrado, não à saída em timesi.

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

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

Para redirecionar a saída de timesi mesma nesses shells, você precisa usar um nível adicional de agrupamento.

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

Se você usar a versão GNU do timeutilitário independente , ele terá a -oopção de gravar a saída de timeoutro local que não o stderr. Você pode timeescrever no terminal:

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

Se você deseja manter a saída timecom erro padrão, é necessário um nível extra de embaralhamento do descritor de arquivo.

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

Com qualquer timeutilitário, você pode chamar um shell intermediário para executar os redirecionamentos desejados. Invocar um shell intermediário para executar ações extras como cdredirecionamentos etc. é bastante comum - é o tipo de pequenas coisas que os shells são projetados para fazer.

/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