Redireccionar la salida de un comando en `time command`

Estoy tratando de cronometrar algo usando:

/usr/bin/time myCommand

Sin embargo, dado que /usr/bin/timeescribe en stderr, si myCommand también escribe en stderr, obtendré más que solo la salida del tiempo en la transmisión. Lo que quiero hacer es redirigir toda la salida de myCommand /dev/null, pero aún así escribir la salida del tiempo en stderr. Usando un ejemplo de myCommand que escribe en stderr of ls /nofile, vemos que (obviamente) no hay salida en absoluto con lo siguiente:

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

Sin ninguna redirección, vemos tanto la salida de ls(a stderr) como la salida de tiempo (también a 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

Lo que quiero es algo que simplemente produce:

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

¿Algunas ideas?

En ksh, bash y zsh, timees una palabra clave, no una incorporada. Las redirecciones en la misma línea se aplican solo al comando que se está cronometrando, no a la salida de timesí mismo.

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

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

Para redirigir la salida de timesí mismo en estos shells, debe usar un nivel adicional de agrupación.

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

Si usa la versión GNU de la timeutilidad independiente , tiene una -oopción para escribir la salida de timeotro lugar que no sea stderr. Puedes hacer timeescribir en la terminal:

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

Si desea mantener la salida de timesu error estándar, necesita un nivel adicional de barajado de descriptores de archivo.

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

Con cualquier timeutilidad, puede invocar un shell intermedio para realizar las redirecciones deseadas. Invocar un shell intermedio para realizar acciones adicionales como cdredirecciones, etc. es bastante común: es el tipo de pequeñas cosas para las que están diseñados los shells.

/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