elio bellini wrote:
salve gente!
ho 2 problemini:
PREMESSA:una dir contentente tanti file .gif
problema n1: in questa dir ci sono alcuni file scritti in minuscolo ed
alcuni in maiuscolo, come posso trasformarli tutti in minuscoli? ho
letto il man di dd e un po di bash scripting ma questo non va:
for i in `ls /dir` ; do dd if=$i conv=lcase ; done ;
prova cosi':
for file in `ls`; do
mv $file `echo $file | tr 'a-z' 'A-Z'`
done
problema n2: su internet, in un sito, ci sono immagini con lo stesso
nome ma .jpg , come posso, avendo la lista dei file.gif, dire a wget
di scaricarmi dal sito www.pippo.it/pluto/ tutti i file con lo stesso
nome di quelli che ho io (quindi penso che un ls /dir > file) ma che
invece di avere il .gif finale hanno .jpg ?
grazie molte
potresti fare:
for img in `cat $file`; do
$img2=`echo $img | sed -e "s/\.gif$/\.jpg/"
wget www.pippo.it/pluto/$img2
done
dove $file e' il nome del file contenente tutti i .gif
--
Daniele Melosi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
