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

m
nessun oggetto della modifica
mNessun oggetto della modifica
Riga 10: Riga 10:
#!/bin/bash
#!/bin/bash
   
   
# v. 0.0.1
# Questo file deve essere creato con lo script che si trova
# Questo file deve essere creato con lo script che si trova
# in "http://guide.debianizzati.org/index.php/Wiki script - Lista delle guide"
# in "http://guide.debianizzati.org/index.php/Wiki script - Lista delle guide"
Riga 44: Riga 45:


# Legge gli indirizzi delle pagine dal file listaguide_source_url
# Legge gli indirizzi delle pagine dal file listaguide_source_url
# e invia le pagine sorgente al file "wiki_source" con una breve intestazione.
# e invia le pagine sorgente al file "wiki_source" con due righe di separazione:
# iniziale (þ=AltGr+p) e finale (ø=AltGr+o)
while read linea; do
while read linea; do
  wget -q -O "$temp" "$linea"
  wget -q -O "$temp" "$linea"
echo "þþþþ" >> "$df"
  echo "$linea" >> "$df"
  echo "$linea" >> "$df"
echo "***********************************************************************" >> "$df"
  sed -n "/<textarea.*>/{s/^.*>//;p; :a n; /.*textarea>/!{p;ba}; s/<\/textarea.*//;p}" "$temp" >> "$df"
  sed -n "/<textarea.*>/{s/^.*>//;p; :a n; /.*textarea>/!{p;ba}; s/<\/textarea.*//;p}" "$temp" >> "$df"
  echo "" >> "$df"
  echo "øøøø" >> "$df"
done < "$file"
done < "$file"


Riga 56: Riga 58:
rm "$temp"
rm "$temp"
</pre>
</pre>
{{Autori
{{Autori
|Autore=[[Utente:S3v|S3v]] 22:36, 22 mar 2013 (CET)
|Autore=[[Utente:S3v|S3v]] 22:36, 22 mar 2013 (CET)
6 999

contributi