Guida avanzata di scripting Bash - Portale Posta DMI

Appendice A. Script aggiuntivi
file=$(wget -q $podcast -O - | tr ’\r’ ’\n’ | tr \’ \" | sed -n ’s/.*url="\([^"]*\)"
for url in $file
do
echo $url >> temp.log
if ! grep "$url" podcast.log > /dev/null
then
wget -q -P $dirdati "$url"
fi
done
done < bp.conf
# Trasforma i file di log creati dinamicamente in file di log permanenti:
cat podcast.log >> temp.log
sort temp.log | uniq > podcast.log
rm temp.log
# Crea una playlist m3u:
ls $dirdati | grep -v m3u > $dirdati/podcast.m3u
exit 0
Per terminare la sezione, un ripasso dei fondamenti . . . ed altro.
Esempio A-31. Fondamenti rivisitati
#!/bin/bash
# basics-reviewed.bash
# L’estenzione == *.bash == per i file è specifica di Bash
# Copyright (c) Michael S. Zick, 2003; Tutti i diritti riservati.
# Licenza: Utilizzabile in qualsiasi forma e per qualsiasi scopo.
# Revisione: $ID$
#
# Dimostrazione commentata da M.C.
# (autore de "Guida Avanzata di Scripting Bash")
# Lo script è stato provato con le versioni Bash 2.04, 2.05a e 2.05b.
# Potrebbe non funzionare con versioni precedenti.
# Questo script dimostrativo genera il messaggio d’errore
#+ --intenzionale-- "command not found". Vedi riga 407.
# Chet Ramey, attuale manutentore di Bash, ha risolto i problemi qui
#+ evidenziati. Le soluzioni verranno inserite in una prossima versione
#+ di Bash.
###--------------------------------------------###
### Collegate con una pipe lo script a ’more’,###
###+ per evitare che la visualizzazione ###
727