Utilisation de la command "time" embeddede dans bash plutôt que la command externe

En travaillant avec la command de time , je suis tombé sur une situation où je devrais utiliser le time embedded plutôt que la command de time GNU externe /usr/bin/time . Alors, comment puis-je faire cela? J'ai vu quelque part qu'utiliser enable et / ou command aiderait, mais ils ne l'ont pas fait.

Ceci est un cas d'utilisation:

 watch "time ls" 

qui utilise la command externe /usr/bin/time , que je ne veux pas! Cela se produit lorsque le time appelle la fonction interne bash lorsque time ls le time ls sur un terminal, comme ceci:

 $ time ls 

Veuillez noter que la réponse exacte a été trouvée ici:

• Liaisons de touches personnalisées pour le mode shell vi, c'est-à-dire "set -o vi"?
• Impression de caractère décimal en caractère ascii, ma command ne sort pas comme prévu
• raccourci pour alimenter le contenu de plusieurs files à la stdin d'un script
• Pourquoi cette command xargs ne fonctionne-t-elle pas?
• n'utilisez jamais l'opérateur `-a` ou` -o` avec `[`

• Faire bash utiliser la command externe `time` plutôt que shell embedded

Il y a beaucoup de différence avec deux commands. Le time interne est plus précis (ce que je veux), mais la command externe a plus d'options (dont je n'ai pas besoin).

• Utilisation d'une list générée de noms de files comme list d'arguments – avec des espaces
• Quel est un exemple pratique d'utilisation de la command suspend dans Bash?
• get une variable d'environnement par nom de variable?
• Utilisation de la fonction shell bash dans AWK
• Passer une fonction à un autre user dans Bash?

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