Wiki script - Lista delle guide: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
modifica x rimuovere dall'elenco due guide
mNessun oggetto della modifica
(modifica x rimuovere dall'elenco due guide)
Riga 10: Riga 10:
<pre>
<pre>
#!/bin/bash
#!/bin/bash
# Questo script preleva i titoli delle pagine del Wiki di Debianizzati
# I titoli delle guide sono salvati nel file "file1"
# A partire da questo file vengono creati i file "file2" e "file3" che
# contengono, rispettivamente, l'elenco degli URL delle guide e l'elenco
# degli URL delle pagine sorgente delle guide.
#
# Il nome dei file "file1", "file2" e "file3" è specificato in basso.


# variabili
# variabili
Riga 55: Riga 63:
  # scarica la prima pagina e ne filtra solo la riga con le guide. Il risultato va in tempfile1
  # scarica la prima pagina e ne filtra solo la riga con le guide. Il risultato va in tempfile1
  wget -q -O - "$url_pagina""$ext" | sed -n '/.*<td id/,1p' > "$tempfile1"
  wget -q -O - "$url_pagina""$ext" | sed -n '/.*<td id/,1p' > "$tempfile1"
  # Estrae i nomi delle guide dalla riga, cancella le righe che contengono <a o </a tranne la prima. Il risultato è in tempfile2
  # Estrae i nomi delle guide dalla riga, cancella le righe che contengono <a o </a tranne la prima. Il risultato è in tempfile2
  awk -F 'title=\"|\">' '{ for (i=6; i<=NF; i++) print $i }' "$tempfile1" | sed '1b;/<\/\?a/d'> "$tempfile2"
  awk -F 'title=\"|\">' '{ for (i=6; i<=NF; i++) print $i }' "$tempfile1" | sed '1b;/<\/\?a/d'> "$tempfile2"
  # Nome della pagina successiva
  # Nome della pagina successiva
  ext="`awk -F '[()]' ' NR==1 { print $2 }' "$tempfile2"`"
  ext="`awk -F '[()]' ' NR==1 { print $2 }' "$tempfile2"`"
Riga 72: Riga 82:
done
done


#Sostituisce alcuni caratteri nel file listaguide_titoli
# Sostituisce alcuni caratteri nel file listaguide_titoli
# &amp;quot; -> "
# &amp;quot; -> "
# &amp;amp; -> &
# &amp;amp; -> &
sed -i -e "s/\&amp;quot;/\"/g" -e "s/\&amp;amp;/\&/g" "$file1"
sed -i -e "s/\&amp;quot;/\"/g" -e "s/\&amp;amp;/\&/g" "$file1"


# Rimuove dall'elenco sia questa guida che la guida
# "Wiki script - Dump sorgenti delle guide"
# Ciò previene molti molti molti problemi.
sed -i "/^Wiki script - Dump sorgenti/d" "$file1"
sed -i "/^Wiki script - Lista delle guide/d" "$file1"


# viene creato il file listaguide_url
# viene creato il file listaguide_url
6 999

contributi

Menu di navigazione