基于整数值的文件grep

我怎样才能得到超过10000秒的页面的细节。

15:39:22,507NTP=/a/file/fname.pageTime=20559 15:40:10,811NTP=a/file/fname.pageTime=134 15:42:24,488NTP=a/file/fname.pageTime=10153 15:42:24,488NTP=a/file/fname.pageTime=10000 15:42:24,488NTP=a/file/fname.pageTime=101 

我想把它放在下面,因为它需要超过10000秒:

 15:39:22,507NTP=/a/file/fname.pageTime=20559 15:42:24,488NTP=a/file/fname.pageTime=10153 

我知道你说的是“grep”,但是这里有一个awk变体。 尝试

 awk -F 'pageTime=' '{ if ($2 > 10000) print $0 }' /path/to/your/logfile 

如果您的数据来自名为file的文件: egrep '=[0-9]{5}' file在这种情况下,您也将拥有10000个(因为它有5个数字)