Wiki script - Dump sorgenti delle guide

Versioni Compatibili Tutte le versioni supportate di Debian

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 due righe di separazione:
# iniziale (þ=AltGr+p) e finale (ø=AltGr+o)

#numero righe del file
numerolinee=`cat $file | wc -l`

count=1

while read linea; do
 echo "[$count/$numerolinee]" # visualizza il numero di guide scaricate
 tput cuu1 #in alto di una riga per permettere la sovrascrittura
 ((count++))
 wget -q -O "$temp" "$linea"
 echo "þþþþ" >> "$df"
 echo "$linea" >> "$df"
 sed -n "/<textarea.*>/{s/^.*\">//;p; :a n; /.*textarea>/!{p;ba}; s/<\/textarea.*//;p}" "$temp" >> "$df"
 echo "øøøø" >> "$df"
done < "$file"

# Sostituisce "&lt;" con "<" nel file dump
sed -i 's/&lt;/</g' "$df"

# Rimuove il file temporaneo
rm "$temp"

---

Guida scritta da: S3v 22:36, 22 mar 2013 (CET)	Debianized 20%
Estesa da:
Verificata da:
Verificare ed estendere la guida | Cos'è una guida Debianized