Alguém me corrija se eu estiver errado, mas se todos os arquivos iniciados rho_
tiverem esse formato, não é equivalente a isso
rm rho_0.txt rho_*[05]000.txt
Como um número (diferente de 0) é um múltiplo de 5000 se, e somente se, termina em 0000 ou 5000.
(0 é um caso especial, pois é um múltiplo de 5000, mas normalmente é escrito sem zeros à esquerda adicionais. Se você não pretendia incluir 0, retire-o da linha acima.)
Obviamente, isso só deve ser usado se todos os rho_*.txt
arquivos em seu diretório tiverem a forma desejada. Não use se o seu diretório também contiver rho_please_dont_delete_me_5000.txt
.
(Nota matemática: isso funciona precisamente porque todos os fatores primos de 5000, ou seja, 2 e 5, também são fatores primos da base em que estamos trabalhando, 10. Equivalentemente, existe uma potência suficientemente grande de 10 (ou seja, 10000) que é divisível por 5000. Não existe truque semelhante para combinar todos os que são múltiplos de 3000.)