6 999
contributi
Wiki script - Dump sorgenti delle guide: differenze tra le versioni
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) Nessun oggetto della modifica |
S3v (discussione | contributi) (funzione _esci spostata prima del primo check) |
||
| (2 versioni intermedie di 2 utenti non mostrate) | |||
| 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 () { | ||
| Riga 188: | Riga 189: | ||
{{Autori | {{Autori | ||
|Autore=[[Utente:S3v|S3v]] 22:36, 22 mar 2013 (CET) | |Autore=[[Utente:S3v|S3v]] 22:36, 22 mar 2013 (CET) | ||
|Verificata_da= | |||
: [[Utente:HAL 9000|HAL 9000]] 18:36, 3 mag 2015 (CEST) | |||
|Estesa_da= | |||
|Numero_revisori=1 | |||
}} | }} | ||
[[Categoria:Bash Scripting]][[Categoria:Wiki]] | [[Categoria:Bash Scripting]][[Categoria:Wiki]] | ||