Wiki script - Dump sorgenti delle guide: differenze tra le versioni

funzione _esci spostata prima del primo check
Nessun oggetto della modifica
(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
  _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
  _esci
fi
fi


# Cattura Ctrl+c
# Cattura Ctrl+c
trap _esci INT
trap _esci INT
# Funzione di uscita
_esci () {
  echo
  echo "Script terminato"
  exit 0
}




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]]
6 999

contributi