Как выбрать файл по неизвестной части имени?

Question

[John Doe]

Есть файлы

doc_check_6971288836.file
doc_check_55463914.file

Нужно выбрать такие файлы, номерная часть которых может быть разной длины, а цифры всегда разные и заранее не известны.

Answer 1

[AVKor]

ls | grep -E 'doc_check_[0-9]+.file'

Answer 2

[Николай Савельев]

ls -la doc_check_*.file