使用该time
命令时,遇到了一种情况,我应该使用内置的time
而不是外部的GNU time命令/usr/bin/time
。那么,我该怎么做呢?我在某处看到使用enable
和/或command
会有所帮助,但没有。
这是一个用例:
watch "time ls"
它使用了/usr/bin/time
我不想要的外部命令!time
当我time ls
在终端上运行时调用内部bash函数时会发生这种情况,如下所示:
$ time ls
请注意,此处已回答了完全相反的要求:
两个命令有很多区别。内部命令time
更精确(我想要),但是外部命令有更多选项(我不需要)。
@Fiximan,
—
斯特凡Chazelas
time
是不是在一个内置的bash
,它是语言的保留字,所以你可以一次管道(像time foo | bar
)或复合命令(像time for i in...;done
)
watch 'bash -c "builtin time ls"'
也许?