6 999
contributi
Wiki script - Dump sorgenti delle guide: differenze tra le versioni
Wiki script - Dump sorgenti delle guide (visualizza wikitesto)
Versione delle 14:02, 17 mar 2014
, 17 mar 2014+ visualizzazione numero guide durante il dump
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) (+ visualizzazione numero guide durante il dump) |
||
| Riga 10: | Riga 10: | ||
#!/bin/bash | #!/bin/bash | ||
# 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 47: | Riga 46: | ||
# e invia le pagine sorgente al file "wiki_source" con due righe di separazione: | # e invia le pagine sorgente al file "wiki_source" con due righe di separazione: | ||
# iniziale (þ=AltGr+p) e finale (ø=AltGr+o) | # iniziale (þ=AltGr+p) e finale (ø=AltGr+o) | ||
#numero righe del file | |||
numerolinee=`cat $file | wc -l` | |||
count=1 | |||
while read linea; do | 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" | wget -q -O "$temp" "$linea" | ||
echo "þþþþ" >> "$df" | echo "þþþþ" >> "$df" | ||