extrair todos os links com a extensão .extension de um site html

basta ter o arquivo html do site baixado e digitar no terminal

grep -o 'href="[^"]*\.extension "' arquivo.html | sort -u > resultado_unico.txt