Re: Processi indipendenti in un unico script?
Marco "wile" Paolini
> Ciao a tutti,
>
> tramite script, con wget, scarico ogni giorno alcune pagine web. Ho verificato che, una volta completata l'azione, nelle prove da terminale (stessi comandi dello script), wget rimane in sospeso, senza andare a capo e restituire la linea di comando libera per altre azioni. Per questo, lo script non prosegue (con "mv", per gestire la rinomina delle pagine), anche se si inserisce un "killall" per wget.
> Ci vorrebbe uno script che gestisse i processi in maniera indipendente, come se i comandi fossero tutti inseriti in terminali diversi.
>
> Chi mi aiuta? :)
Posti lo script Lord Voldemort! ;-)
--
#include <std.disclaimer.h>
Signature automatica inserita a mano.
In God we trust, all others we monitor.(NSA)
Punteggiatura: Nel caso mancasse nel messaggio, aggiungete!!
M_M
> #!/bin/sh
>
> wget URL & PID_SCRIPT=$! (questo comando è ripetuto per otto volte)
> sleep 4
> kill $PID_SCRIPT
> mv "PAGINA SCARICATA" "PAGINA CON IL NUOVO NOME" (questo comando è
ripetuto per otto volte)
>
> exit
Potresti provare a mettere gli URL e i nuovi nomi che vuoi dare ai file, in
due array e poi collocare wget in un ciclo per cui vada a scaricarsi tutte
le pagine dell'array, magari usando l'opzione -O cosi` wget salva subito il
file con il nuovo nome che vuoi assegnargli.
P.S.: i tuoi messaggi hanno righe lunghissime senza gli a capo.
M_M
> Detto in altre parole, se ho ben capito, delle liste di download (che ho già
usato in passato, non per pagine web come ora, però) dove far leggere a wget?
> L'opzione "-O" non l'ho mai usata, invece. Ho visto che scrive in un file....
Sono perplessa... Finora, su file ho scritto solo i pdf! ;)
E` da verificare ... ma pensavo a qualcosa del genere, Lady Voldemort :
=====================================================
#!/bin/bash
## Lista URL:
pag[0]="http://katolaz.homeunix.net/gplv3/gplv3-it-final.html"
pag[1]="http://www.python.it/doc/intro/"
## Fine lista
# Numero di giorni trascorsi dall'inizio dell'anno:
suffisso=$(date +%j)
## Lista nomi da dare ai file scaricati:
nome_file[0]="PAGINA_0_$suffisso"
nome_file[1]="PAGINA_1_$suffisso"
## Fine lista
for indice in 0 1
do
wget -O ${nome_file[indice]} ${pag[indice]}
done
echo "Premere il tasto Invio per chiudere"
read dummy
=====================================================