Neste caso específico, acabei com o seguinte script bash
:
#!/bin/bash
DOWNLOAD="wget -m -p -E -np -k"
SITE="http://homepage.tinet.ie/~themma"
$DOWNLOAD $SITE/
$DOWNLOAD $SITE/songs/
$DOWNLOAD $SITE/songs/songs.html
$DOWNLOAD $SITE/songs/disco.html
$DOWNLOAD $SITE/links/
$DOWNLOAD $SITE/other/
$DOWNLOAD $SITE/tour/
for i in 'seq 1 8';
do
$DOWNLOAD $SITE/images/bar_0$i.gif
$DOWNLOAD $SITE/images/bar_0$i-over.gif
$DOWNLOAD $SITE/images/bar_0$i-bar_03_over.gif
done
for i in 'seq 1989 2003'
do
$DOWNLOAD $SITE/images/$i.gif
done
Eu não consegui simular o comportamento do JavaScript, claro, mas como o site é extremamente simples, não é muito fácil analisá-lo para escrever um script de shell baseado em wget
. É um pouco complicado, mas funciona. Obrigado a todos por sugestões.
Eu não marquei essa resposta como a melhor, porque minha resposta implementa apenas um caso específico. Então, qualquer idéia a respeito do caso mais geral é realmente bem-vinda (qualquer ferramenta de linha "cmd inteligente", extensões de navegador, etc.).