Para extrair o primeiro inteiro de um arquivo, mesmo se mais de um ocorrer na linha:
egrep -m1 -o '[0-9]+' /path/to/inputfile | head -n1
Se apenas um inteiro aparecer em qualquer linha, o pipe em head
é supérfluo.
Se você estiver pesquisando, como você editou sua pergunta, para cada ocorrência única de "ID do arquivo:":
egrep '^FILE ID: [0-9]+' /path/to/inputfile | sort | uniq
Para obter apenas os IDs numéricos exclusivos, o caminho de Rube Goldberg poderia ser:
egrep '^File Id: [0-9]+' /path/to/inputfile | sort | uniq | egrep -o '[0-9]+'