6 999
contributi
Wiki script - Dump sorgenti delle guide: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Wiki script - Dump sorgenti delle guide (visualizza wikitesto)
Versione delle 10:40, 1 mag 2016
, 1 mag 2016funzione _esci spostata prima del primo check
m (verificata) |
S3v (discussione | contributi) (funzione _esci spostata prima del primo check) |
||
| (Una versione intermedia di uno stesso utente non è mostrata) | |||
| Riga 6: | Riga 6: | ||
Lo script si basa sul file "listaguide_source_url" creato con [[Wiki script - Lista delle guide|quest'altro script]]. | Lo script si basa sul file "listaguide_source_url" creato con [[Wiki script - Lista delle guide|quest'altro script]]. | ||
Il dump si troverà nel file "wiki_source". | Il dump si troverà nel file "wiki_source". | ||
{{Box|Nota|Una versione ''leggermente'' più veloce e scritta in Python 3 è visibile [[Wiki script - Dump sorgenti delle guide (Python 3)| qui]].}} | |||
<pre> | <pre> | ||
| Riga 16: | Riga 17: | ||
# Il nome del file che contiene il dump delle guide | # Il nome del file che contiene il dump delle guide | ||
df="wiki_source" | df="wiki_source" | ||
# Funzione di uscita | |||
_esci () { | |||
echo | |||
echo "Script terminato" | |||
exit 0 | |||
} | |||
# Controlla se esiste il file listaguide_source_url | # Controlla se esiste il file listaguide_source_url | ||
if [ ! -f "$file" ]; then | if [ ! -f "$file" ]; then | ||
echo "Il file "$file" non esiste. Uscita." | echo "Il file "$file" non esiste. Uscita." | ||
_esci | |||
fi | fi | ||
| Riga 26: | Riga 34: | ||
if [ -z "$(which wget)" ]; then | if [ -z "$(which wget)" ]; then | ||
echo "wget non è presente. Uscita." | echo "wget non è presente. Uscita." | ||
_esci | |||
fi | fi | ||
# Cattura Ctrl+c | # Cattura Ctrl+c | ||
trap _esci INT | trap _esci INT | ||
| Riga 99: | Riga 100: | ||
# ---------------------------------------------- | # ----------------------------------------------- | ||
# Funzione che effettua il dump di tutte le guide | # Funzione che effettua il dump di tutte le guide | ||
# ---------------------------------------------- | # ----------------------------------------------- | ||
totaldump () { | totaldump () { | ||