我目前正在使用大括号和 globing 的组合来一次在 vlc 中播放多个文件:
vlc K20-{06,07,08,09,10,11,12,13,14,15,16,17}*
但是数字总是完整的,有没有办法以某种方式更简单地指定它,也许像
vlc K20-{06-17}*
? 也许seq
以某种方式使用?
我可以用
$ echo K20-{$(seq -s, -f "%02.0f" 06 17)}*
K20-{06,07,08,09,10,11,12,13,14,15,16,17}*
但这似乎并没有扩大*
。有什么办法吗?
正如@steeldriver 所说,
K20-{06..17}*
涵盖了它。例如,使用
echo
for 测试/验证:如果存在与当前工作目录中的名称匹配的
*
文件,也会扩展 。所以
vlc K20-{06..17}*
会达到你想要的。有关 bash 扩展的更多信息,请参阅GNU Bash 参考手册 - 大括号扩展。或从
man bash
阅读:所以: