FANDOM


Script che prendono tutte le immagini, nell'esempio png di una directory $DIR, e ne fanno una versione jpg di dimensioni ridotte in un'altra directory $NDIR.

Soluzione per bashModifica

$ mkdir $NDIR
$ for IMG $DIR/*.png ; do convert $IMG -geometry 1024x1024 \
$NDIR/`echo ${IMG##$DIR/} | \
sed 's/.png/.jpg/'` ; done

VariantiModifica

l'opzione -geometry 1024x1024 può ovviamente essere sostituita con qualunque altra manipolazione permessa da convert.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Inoltre su FANDOM

Wiki casuale