我有一个文件列表，其标题如下：
file_0.10_180.0degrees.txt
file_0.15_180.0degrees.txt
file_0.20_180.0degrees.txt
file_0.25_180.0degrees.txt
其中文件可以作为命令行参数传递。我想传递所有这些文件，而不必逐个输入所有文件。
到目前为止，我已经尝试过
./example file_0.{10..25..5}*
和
./example file_0.$(seq 10 5 25)*
两次都失败了。我试图找出失败的原因，结果如下：
>echo file_0.{10..25..5}*
>file_0.{10..25..5}*
>echo file_0.$(seq 10 5 25)*
>file_0.10 15 20 25*