Usar el comando "time" incorporado en bash en lugar del comando externo

Al trabajar con el timecomando, me encontré con una situación en la que debería usar el timecomando de tiempo GNU incorporado en lugar del externo /usr/bin/time. Entonces, ¿cómo puedo hacer esto? Vi en alguna parte que usar enabley / o commandayudaría, pero no lo hicieron.

Este es un caso de uso:

watch "time ls"

que usa el /usr/bin/timecomando externo , que no quiero! Esto sucede cuando timeinvoca la función bash interna cuando ejecuto time lsen una terminal, así:

$ time ls

Tenga en cuenta que la solicitud exactamente opuesta ha sido respondida aquí:

• Hacer que bash use el comando externo `time` en lugar del shell incorporado

Hay mucha diferencia con dos comandos. El interno timees más preciso (que quiero), pero el comando externo tiene más opciones (que no necesito).

Por defecto, watchse ejecuta el comando con /bin/sh -c '...'lo que la salida se ve es cómo /bin/shinterpreta el timecomando. Al /bin/shparecer, no tiene un incorporado time.

Para ejecutar el comando con un shell diferente, use la -xopción para deshacerse del valor predeterminado, luego agregue su propia invocación explícita del shell cuya construcción desea.

watch -x bash -c 'time ls'
watch -x zsh -c 'time ls'

No importa cómo se ejecute watch, el comando que está viendo no es un elemento secundario del shell que ejecutó el watchcomando, por lo que la configuración del shell no es directamente relevante.