Pracując z time
poleceniem, natknąłem się na sytuację, w której powinienem użyć wbudowanego polecenia time
zamiast zewnętrznego polecenia czasu GNU /usr/bin/time
. Jak mogę to zrobić? Widziałem gdzieś, że użycie enable
i / lub command
pomoże, ale nie zrobiły tego.
To jest przypadek użycia:
watch "time ls"
która korzysta z zewnętrznego /usr/bin/time
polecenia, którego nie chcę! Dzieje się tak, gdy time
wywołuje wewnętrzną funkcję bash, kiedy uruchamiam time ls
na terminalu, jak poniżej:
$ time ls
Pamiętaj, że odpowiedź na to pytanie jest dokładnie odwrotna:
Istnieje duża różnica w przypadku dwóch poleceń. Wewnętrzne time
jest bardziej precyzyjne (co chcę), ale zewnętrzne polecenie ma więcej opcji (których nie potrzebuję).
time
nie jest wbudowany bash
, jest zarezerwowanym słowem języka, dzięki czemu możesz time foo | bar
time for i in...;done
watch 'bash -c "builtin time ls"'
być może?