Работая с time
командой, я столкнулся с ситуацией, когда я должен использовать встроенную, time
а не внешнюю команду времени GNU /usr/bin/time
. Итак, как я могу это сделать? Я где-то видел, что использование enable
и / или command
поможет, но они этого не сделали.
Это вариант использования:
watch "time ls"
который использует внешнюю /usr/bin/time
команду, которую я не хочу! Это происходит, когда time
при запуске time ls
на терминале вызывает внутреннюю функцию bash , например:
$ time ls
Обратите внимание, что прямо противоположный запрос был дан ответ здесь:
Существует большая разница с двумя командами. Внутренняя time
более точная (что я хочу), но внешняя команда имеет больше опций (которые мне не нужны).
time
не является встроенным bash
, это зарезервированное слово языка, поэтому вы можете рассчитывать конвейеры (например time foo | bar
) или составные команды (например time for i in...;done
)
watch 'bash -c "builtin time ls"'
возможно?