Кто-то исправит меня, если я ошибаюсь, но если все файлы, которые начинаются с, rho_
имеют эту форму, разве это не эквивалентно
rm rho_0.txt rho_*[05]000.txt
Поскольку число (отличное от 0) кратно 5000 тогда и только тогда, когда оно заканчивается в 0000 или 5000.
(0 является особым случаем, поскольку он кратен 5000, но обычно записывается без дополнительных начальных нулей. Если вы не намеревались включать 0, выньте его из приведенной выше строки.)
Конечно, это следует использовать, только если все rho_*.txt
файлы в вашем каталоге имеют желаемую форму. Не используйте его, если ваш каталог также содержит rho_please_dont_delete_me_5000.txt
.
(Замечание по математике: это работает именно потому, что все главные факторы 5000, а именно 2 и 5, также являются главными факторами базы, на которой мы работаем, 10. Эквивалентно, есть достаточно большая сила 10 (а именно 10000), которая равна делится на 5000. Нет аналогичного трюка для сопоставления всех тех, которые кратны 3000.)