No terminal, use o comando find
para localizar todos os arquivos terminados em .html e use o comando grep
para filtrar os resultados para mostrar apenas os nomes dos arquivos que contêm <abbr>
string:
cd /path-to-dir ## change directories to the root directory that you are searching from
find . -name "*.html" -exec grep -l '<abbr>' {} +
O comando find
procura por arquivos em uma hierarquia de diretórios de forma recursiva por padrão.
Ou combine os dois comandos em um único comando:
find /path-to-dir -name "*.html" -exec grep -l '<abbr>' {} +