使用grep从字符串中获取数字

我带来了另一个简单的问题

我得到了一个带有子字符串的字符串，格式为xx:xx:xx，其中x是数字。我想提取包含“：”符号的子字符串，因此我的输出将是“xx:xx:xx”

我认为它可以用grep-Eo[0-9]来完成，但是我不确定它的语法。。。有什么帮助吗

echo "substring in the format 12:43:37 where the x's are numbers" | 
      grep -o '[0-9:]*'

输出：

如果输入字符串中有其他数字，则可以更具体：

grep -o '[0-9]*:[0-9]*:[0-9]*'

甚至：

输出：

如果输入字符串中有其他数字，则可以更具体：

grep -o '[0-9]*:[0-9]*:[0-9]*'

甚至：

---

不起作用。。。它没有输出，我也尝试了你的例子，也没有。这样做，输出是没有的，也测试了例子，正如我所说的，同样的结果代码在ideone上工作，在我的盒子上工作。如果它没有在您这边产生任何输出，那么您可能会有一些稍微不同的输入。你能把你试过的贴出来吗？不行。。。它没有输出，我也尝试了你的例子，也没有。这样做，输出是没有的，也测试了例子，正如我所说的，同样的结果代码在ideone上工作，在我的盒子上工作。如果它没有在您这边产生任何输出，那么您可能会有一些稍微不同的输入。你能把你试过的贴出来吗？

grep -o '[0-9][0-9]:[0-9][0-9]:[0-9][0-9]'