Atualmente, estou usando a combinação de chaves e globing para reproduzir vários arquivos no vlc de uma só vez:
vlc K20-{06,07,08,09,10,11,12,13,14,15,16,17}*
Mas os números são sempre sequência completa, existe uma maneira de especificar de alguma forma um pouco mais simples, talvez algo como
vlc K20-{06-17}*
? Talvez usar seq
de alguma forma?
Eu posso usar
$ echo K20-{$(seq -s, -f "%02.0f" 06 17)}*
K20-{06,07,08,09,10,11,12,13,14,15,16,17}*
mas isso não parece expandir o *
. Alguma maneira de contornar isso?
Como observa @steeldriver,
K20-{06..17}*
cobre.Exemplo, usando um
echo
para teste/validação:O
*
será expandido também se houver arquivos que correspondam ao nome no diretório de trabalho atual.Assim
vlc K20-{06..17}*
conseguirá o que deseja.Mais informações sobre a expansão do bash no GNU Bash Reference Manual - Brace Expansion . Ou de
man bash
, leia:Então: