我在 Deepin（基于 Debian）系统上有一个目录，其中包含视频文件，如下所示：
SL Benfica - Match 1 vs FC Porto.mp4
SL Benfica - Match 2 vs FC Porto.mp4
...
SL Benfica - Match 20 vs FC Porto.mp4
...
SL Benfica - Match 100 vs FC Porto.mp4
SL Benfica - Match 101 vs FC Porto.mp4
我想在中间的数字之前添加零，以便它们按
SL Benfica - Match 001 vs FC Porto.mp4
SL Benfica - Match 002 vs FC Porto.mp4
...
SL Benfica - Match 020 vs FC Porto.mp4
...
SL Benfica - Match 100 vs FC Porto.mp4 …我想重命名文件，如：
SL Benfica vs. SC Beira-Mar 136.mp4
SL Benfica vs. SC Beira-Mar 137.mp4
SL Benfica vs. SC Beira-Mar 138.mp4
SL Benfica vs. SC Beira-Mar Jogo 074.mp4
SL Benfica vs. SC Beira-Mar Jogo 082.mp4
SL Benfica vs. SC Beira-Mar Jogo 112.mp4
但是这个
for f in *.mp4; do echo mv "$f" "${f//[^0-9]/}.mp4"; done
在末尾添加“4”：
1364.mp4
1374.mp4
1384.mp4
0744.mp4
0824.mp4
1124.mp4
我认为它与“mp4”中的“4”混淆。我该如何解决这个问题？