Date 省道：找到字符串中的第一个数字并剪切字符串

我有这样一个字符串：

“2020年8月4日星期二”或 “2020年8月5日星期三”

我会将日期（星期二或星期三）缩短，使字符串的格式如下：

“2020年8月4日”或 “05.08.2020”

---

我如何找到字符串中的第一个数字并变成这种格式。我还没有在dart中找到解决方案。在其他语言（例如javascript或python）中，它提供了一个搜索函数，但在dart语言中，我找不到这样的函数。有人能帮我吗？

您可能不需要找到第一个数字。 这会奏效的

String a = "tuesday 04.08.2020";
String date = a.split(" ").last;
print(date);//04.08.2020