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
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) (funzione _esci spostata prima del primo check) |
||
| Riga 17: | 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 27: | 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 100: | Riga 100: | ||
# ---------------------------------------------- | # ----------------------------------------------- | ||
# Funzione che effettua il dump di tutte le guide | # Funzione che effettua il dump di tutte le guide | ||
# ---------------------------------------------- | # ----------------------------------------------- | ||
totaldump () { | totaldump () { | ||