在名为 的文件中result，包含以下内容：
<span class=timestamp><b>15:31:00</b></span>
如何grep时间戳？
以下是一些尝试及其输出：
> grep "[0..9]*:[0..9]*:[0..9]*" result -o
> grep "[0..9]*:[0..9]*" result -o
:
:00
> grep "[0..9]*:" result -o
:
: