Você está procurando o comando grep
:
DESCRIPTION
grep searches the named input FILEs for lines containing a match to the
given PATTERN. If no files are specified, or if the file “-” is given,
grep searches standard input. By default, grep prints the matching
lines.
Então, para encontrar o número 12345
, execute:
$ grep 12345 file
adad 12345
Isso imprimirá todas as linhas correspondentes a 12345
. Para imprimir apenas a parte correspondente da linha, use o sinalizador -o
:
$ grep -o 12345 file
12345
Para encontrar qualquer trecho de dígitos consecutivos de comprimento 5, você pode usar um dos seguintes:
$ grep -o '[0-9][0-9][0-9][0-9][0-9]' file
12345
$ grep -o '[0-9]\{5\}' file
12345
$ grep -Eo '[0-9]{5}' file
12345
$ grep -Po '\d{5}' file
12345
Para fazer o mesmo, mas ignorar os números com mais de 5 dígitos, use:
$ grep -Po '[^\d]\K[0-9]{5}[^\d]*' file
12345