使用time ls，我有以下输出:
$ time ls -l
total 2
-rwx------+ 1 FRIENDS None 97 Jun 23 08:59 location.txt
-rw-r--r--+ 1 FRIENDS None 10 Jun 23 09:06 welcome
real 0m0.040s
user 0m0.000s
sys 0m0.031s
现在，当我try 只计算real值行时，实际结果是:
$ time ls -l | grep real
real 0m0.040s
user 0m0.000s
sys 0m0.031s
我的问题是，如何只获得真正的价值作为输出？在这种情况下，0m0.040s.
time将其输出写入stderr，因此需要使用管道stderr而不是stdout.但同样重要的是要记住，time是bash语法的一部分，它乘以整个管道.因此，您需要用大括号将管道包裹起来，或者在子shell中运行它:
$ { time ls -l >/dev/null; } 2>&1 | grep real
real 0m0.005s
使用Bash v4.0(在Linux发行版上可能是通用的，但在Mac OS X上仍然不是标准的)，您可以使用|&来传输stdout和stderr:
{ time ls -l >/dev/null; } |& grep real
或者，您可以使用time实用程序，它允许控制输出格式.在我的系统中，该实用程序位于/usr/bin/time:
/usr/bin/time -f%e ls -l >/dev/null
man time了解time实用程序的更多详细信息.