Originariamente inviato da cacao74
1) la pagina di manuale di 'rename' ti offre proprio quello che chiedi (upper -> lower case).

2) non ho ben capito:
potresti scaricarti la pagina conoscendo il suo URL, poi tramite uno script, estrarre i file relativi alle immagini che ti interessano, se serve modifiche l'estensione (eventualmente mettendoli in un nuovo file). Non ti rimane altro che scaricare le immagini una alla volta oppure utilizzando il nuovo file tramite wget.

ciao
1) minghia, non ci avevo pensato minimamente
2) no no, allora le immagini si stanno tutte nella stessa dir del sito , ma ognuno viene visualizzzata in una pagina web differente.
esempio.
ls /dir
pippo.gif
pluto.gif
billgates.gif
markovermars.gif

in www.html.it/immagini/ ci sono i file
pippo.jpg
pluto.jpg
billgates.jpg
markovermars.jpg

ora, imho bisogna inserire i nomi dei miei file gif in un file txt magari con basename toglierli l'estenzione, e formattare il file txt in modo da darlo in pasto a wget tipo
for line in $(cat file.txt) ; do wget -c www.html.it/immagini/$i.jpg ; done ;

cacao help, di file ne sono un bel po, numeri a tre cifre, non vorrei fare tutto a mano, poi se metti che navigo con il gprs è la fine, aprire tutte quelle pagine web solo per prendermi 1 immagine