Wiki script - Dump sorgenti delle guide

Questo script si occupa di creare un file di testo contenente la pagina sorgente di tutte le guide del Wiki.
Lo script si basa sul file "listaguide_source_url" creato con quest'altro script. Il dump si troverà nel file "wiki_source".

#!/bin/bash
 
# Questo file deve essere creato con lo script che si trova
# in "http://guide.debianizzati.org/index.php/Wiki script - Lista delle guide"
file="listaguide_source_url"

# Crea un file temporaneo
temp=`mktemp`

# Il nome del file che contiene il dump delle guide
df="wiki_source"

# Controlla se esiste il file listaguide_source_url
if [ ! -f "$file" ]; then
 echo "Il file "$file" non esiste. Uscita."
 exit 1
fi

# Se wget non è installato, lo script termina.
if [ ! -f /usr/bin/wget ]; then
 echo "wget non è presente. Uscita."
 exit 1
fi

# Previene l'accidentale sovrascrittura del dump
if [ -f "$df" ]; then
 echo -n "Esiste già il file "$df". Sovrascrivere [S/n]? "
 read risp
 case $risp in
   "") rm "$df" ;;
   [Ss]) rm "$df" ;;
   *) exit 1;;
 esac
fi

# Legge gli indirizzi delle pagine dal file listaguide_source_url
# e invia le pagine sorgente al file "wiki_source" con una breve intestazione.
while read linea; do
 wget -q -O "$temp" "$linea"
 echo "$linea" >> "$df"
 echo "***********************************************************************" >> "$df"
 sed -n "/<textarea.*>/{s/^.*>//;p; :a n; /.*textarea>/!{p;ba}; s/<\/textarea.*//;p}" "$temp" >> "$df"
 echo "" >> "$df"
done < "$file"

# Rimuove il file temporaneo
rm "$temp"