Я получил много файлов, имена которых, как это:извлечение числа из имен файлов
tmp1.csv
tmp32.csv
tmp9.csv
tmp76.csv
...
Они находятся в той же директории, и я хочу, чтобы извлечь номера в имени файла. Как я могу это сделать в bash
?
PS
Я попытался grep
, но не может это сделать. Также я попробовал ${filename##[a-z]}
. Правильно ли они идут?
Это правильный способ сделать это. – lukecampbell
@lukecampbell Я не согласен с тем, что это канонически корректно - для grep нет необходимости, когда bash может выполнять внутреннее соответствие. Расширение параметра, соответствие регулярному выражению - все это встроено, никаких подпроцессов не требуется. Ничего плохого в этом ответе, но это не единственный правильный путь. –
... на самом деле, я беру это обратно - в этом ответе много. запуск нового эха | Протокол grep для файла является злым. –