zsh `time` не работает с `source` [дубликат]

Tiene espacio después de out. Tuve el mismo problema, eliminé el espacio al final de la variable a.

1
28.10.2018, 10:22
1 ответ

Кажется, что zshне поддерживает встроенные команды времени.

Попробуйте использовать оболочку, которая включает поддержку timeв качестве зарезервированного слова (это относится кzsh)и также поддерживает встроенные команды времени (это не относится кzsh).

Кстати, :это работает для ksh88, ksh93,bosh(текущей оболочки Борна ), mkshи bash.

Кстати, :Правильный способ определения времени — взять время для оболочки и всех ее подпроцессов, (которые можно назвать программами ), и распечатать разницу до и после команды. Если время включает время, проведенное в самой оболочке, это позволяет определять время для встроенных команд.

Суть в том, что время, которое работает внутри оболочки, должно быть совместимо с тем, что делает внешняя команда time, а внешняя команда timeвыводит сумму всех времен всех процессов, созданных для конкретной команды. Если бы timeне включал значения для подпроцессов, это было бы, например. вывести слишком низкие значения для команды cc, так как большая часть работы выполняется внутри подпроцессов cc.

1
28.01.2020, 00:24

Теги

Похожие вопросы