Saat ini saya menggunakan kombinasi kurung keriting dan globing untuk memutar beberapa file dalam vlc sekaligus:
vlc K20-{06,07,08,09,10,11,12,13,14,15,16,17}*
Tapi angkanya selalu penuh, apakah ada cara untuk menentukannya sedikit lebih sederhana, mungkin seperti itu
vlc K20-{06-17}*
? Mungkin menggunakan seq
entah bagaimana?
Saya bisa menggunakan
$ echo K20-{$(seq -s, -f "%02.0f" 06 17)}*
K20-{06,07,08,09,10,11,12,13,14,15,16,17}*
tapi itu tampaknya tidak memperluas *
. Ada jalan lain?
{m..n}
- jadiK20-{06..17}*
Jawaban:
Seperti dicatat oleh @steeldriver, tutuplah
K20-{06..17}*
.Contoh, menggunakan
echo
uji / validasi:The
*
akan diperluas juga jika ada file yang cocok dengan nama di direktori kerja saat ini.Jadi
vlc K20-{06..17}*
akan mencapai apa yang Anda inginkan.Informasi lebih lanjut tentang ekspansi bash di Manual Referensi Bash GNU - Brace Expansion . Atau dari
man bash
, baca:Begitu:
sumber