Ktoś poprawi mnie, jeśli się mylę, ale jeśli wszystkie pliki, które zaczynają rho_
się od tego, mają tę formę, czy nie jest to równoważne z tym, aby zrobić
rm rho_0.txt rho_*[05]000.txt
Ponieważ liczba (inna niż 0) jest wielokrotnością 5000 wtedy i tylko wtedy, gdy kończy się na 0000 lub 5000.
(0 to szczególny przypadek, ponieważ jest wielokrotnością 5000, ale zwykle jest zapisywany bez dodatkowych zer wiodących. Jeśli nie zamierzasz uwzględniać 0, usuń go z powyższej linii.)
Oczywiście należy tego używać tylko wtedy, gdy wszystkie rho_*.txt
pliki w twoim katalogu mają pożądaną formę. Nie używaj go, jeśli twój katalog również zawiera rho_please_dont_delete_me_5000.txt
.
(Uwaga matematyczna: Działa to dokładnie dlatego, że wszystkie czynniki pierwsze 5000, a mianowicie 2 i 5, są również czynnikami podstawowymi podstawy, w której pracujemy, 10. Równolegle istnieje wystarczająco duża moc 10 (a mianowicie 10000), która jest podzielny przez 5000. Nie ma podobnej sztuczki dla dopasowania wszystkich tych, które są wielokrotnościami 3000.)