• # Finalement...

    Posté par . En réponse au message Wget, Sed et remplacement. Évalué à 1.

    Bon, finalement, pour ceux que ça intéresserait, j'ai résolu le problème en faisant comme ça :

    #!/bin/bash
    for i in `seq 201 350`;
    do
    FILE="http://books.google.com/books?id=asVKAAAAMAAJ&pg=PA$i&am(...)
    echo $FILE
    `wget -k -erobots=off -np -N -nd --user-agent=Mozilla/5.0 -O /tmp/toto.txt $FILE`
    cat /tmp/toto.txt | sed -e '177!d' -e s/"‹[^›]*›"/""/g -e 's/ .*//' › /tmp/tata.txt
    echo "" ›› /tmp/tata.txt
    cat /tmp/tata.txt ›› /tmp/final.txt
    done
    rm -rf /tmp/toto.txt
    rm -rf /tmp/tata.txt