Question

使用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

现在，当我尝试grep仅实际值行时，实际结果为：

$ time ls -l | grep real
real    0m0.040s
user    0m0.000s
sys     0m0.031s

我的问题是，如何仅将实际价值作为输出？在这种情况下，0m0.040s。

Answer 1

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实用程序的详细信息。

Answer 2

(time ls -l)  2>&1 > /dev/null |grep real

这会将stderr（这是时间发送其输出的地方）重定向到与stdout相同的流，然后将stdout重定向到dev / null，以便不捕获ls的输出，然后将现在输出的时间输入到stdin中grep。

Answer 3

如果您只想指定time 内置的输出格式，则可以修改TIMEFORMAT环境变量的值，而不是使用grep对其进行过滤

在你的情况下，

TIMEFORMAT=%R
time ls -l

只会给你“真正的”时间。

Here's the link参见Bash手册中的相关信息（在“TIMEFORMAT”下）。

This是关于解析time输出的类似问题。

Answer 4

请注意.. bash有一个内置的＆＃34;时间＆＃34;命令。以下是一些差异..

# GNU time command (can also use $TIMEFORMAT variable instead of -f)
bash> /usr/bin/time -f%e ls >/dev/null
0.00


# BASH built-in time command (can also use $TIME variable instead of -f)
bash> time -f%e ls >/dev/null
-f%e: command not found

real    0m0.005s
user    0m0.004s
sys     0m0.000s

Answer 5

我认为，它可以变得更容易一些：

time ls &> /dev/null | grep real

Grep time命令输出

5 个答案: