Filmar um arquivo com grep, mostrando a linha atual "cat"

Question

Eu pesquiso por meio de um arquivo HUGE com cat e grep . Eu preciso saber em qual linha é cat o tempo todo.

Se eu quiser pesquisar ball :

cat file.txt | grep ball

ARQUIVO:

football
tennis
hockey
basketball
...

O QUE PRECISO:

1. row - football [1/1000]
2. row - [2/1000]
2. row - [3/1000]
3. row - basketball [4/1000]

    

Answer 1

Conclua a abordagem awk + wc :

Amostra file.txt :

football
tennis
hockey
basketball
boxing

awk -v t=$(wc -l file.txt | cut -d' ' -f1) '{ printf "%s[%d/%d]\n",(/ball/? $0" ":""),NR,t }' file.txt

A saída:

football [1/4]
[2/4]
[3/4]
basketball [4/4]
[5/5]

    

Answer 2

Fazendo grep -n ball file.txt produzirá

1:football
4:basketball